summaryrefslogtreecommitdiff
path: root/pkgs/development/coq-modules/mathcomp-zify/default.nix (follow)
Commit message (Expand)AuthorAgeFilesLines
* coqPackages.mathcomp-zify: init at 1.0.0+1.12+8.13Cyril Cohen2021-05-101-0/+22