summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/async-test
AgeCommit message (Expand)Author
2025-07-22treewide: strip trailing punctuation from description stringsmivorasu
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-08-26coqPackages.http: init at 0.2.1Pierre Roux
2024-08-26coqPackages.async-test: init at 0.1.0Pierre Roux