truh/nixpkgs
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
nixpkgs/pkgs/development/coq-modules/CoLoR
History
Exact
Vincent Laporte ba1645d804
coqPackages: remove duplication in mkCoqPackages 
(cherry picked from commit ebce795c5c)
2017-09-04 23:09:57 +02:00
..
default.nix coqPackages: remove duplication in mkCoqPackages 2017-09-04 23:09:57 +02:00