summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/coqfmt
AgeCommit message (Expand)Author
2025-07-22treewide: conform descriptions to the standardsmivorasu
2025-07-22treewide: strip trailing punctuation from description stringsmivorasu
2025-04-23coqPackages_8_20.coqfmt: init at masterJustin Restivo