about summary refs log tree commit diff
path: root/pkgs/build-support/coq
AgeCommit message (Expand)AuthorFilesLines
2021-01-27treewide: remove implicit use of stdenv.libBen Siraphob2-3/+4
2021-01-09coqPackages: refactorCyril Cohen3-0/+303