nixpkgs/pkgs/development/coq-modules/CoLoR
2017-09-04 02:39:49 +00:00
..
default.nix coqPackages: remove duplication in mkCoqPackages 2017-09-04 02:39:49 +00:00