public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

coqPackages.contribs: new set with all packages from coq-contribs

Browse Source
This commit is contained in:
John Wiegley 2017-12-21 10:26:56 -08:00
parent 005628a94b
commit 2134543064
2 changed files with 1020 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1019
pkgs/development/coq-modules/contribs/default.nix Normal file
View File

File diff suppressed because it is too large Load Diff

1
pkgs/top-level/coq-packages.nix
View File

@ -33,6 +33,7 @@ let
paco = callPackage ../development/coq-modules/paco {}; paco = callPackage ../development/coq-modules/paco {};
QuickChick = callPackage ../development/coq-modules/QuickChick {}; QuickChick = callPackage ../development/coq-modules/QuickChick {};
ssreflect = callPackage ../development/coq-modules/ssreflect { }; ssreflect = callPackage ../development/coq-modules/ssreflect { };
contribs = callPackage ../development/coq-modules/contribs { };
}; };
filterCoqPackages = coq: filterCoqPackages = coq: