summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/VplTactic
AgeCommit message (Expand)Author
2024-12-10treewide: format all inactive Nix filesSilvan Mosberger
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt
2024-03-15coqPackages.VplTactic: init at 0.5Vincent Laporte