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

coqPackages_8_6.heq: Add to the 8.6 set

Browse Source
This commit is contained in:
John Wiegley 2017-07-10 18:17:04 -07:00
parent 399dee93ae
commit c072fb4729
No known key found for this signature in database
GPG Key ID: C144D8F4F19FE630
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -18037,6 +18037,7 @@ with pkgs;
coquelicot = callPackage ../development/coq-modules/coquelicot {}; coquelicot = callPackage ../development/coq-modules/coquelicot {};
dpdgraph = callPackage ../development/coq-modules/dpdgraph {}; dpdgraph = callPackage ../development/coq-modules/dpdgraph {};
flocq = callPackage ../development/coq-modules/flocq {}; flocq = callPackage ../development/coq-modules/flocq {};
heq = callPackage ../development/coq-modules/heq {};
interval = callPackage ../development/coq-modules/interval {}; interval = callPackage ../development/coq-modules/interval {};
mathcomp = callPackage ../development/coq-modules/mathcomp { }; mathcomp = callPackage ../development/coq-modules/mathcomp { };
paco = callPackage ../development/coq-modules/paco {}; paco = callPackage ../development/coq-modules/paco {};