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

coqPackages_8_6/7.equations: new expression 1.0-beta/8.7 branch

Browse Source
This commit is contained in:
John Wiegley 2017-11-10 16:25:40 -08:00
parent 30cbba9061
commit 028c1920ae
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

@ -18711,6 +18711,7 @@ with pkgs;
CoLoR = callPackage ../development/coq-modules/CoLoR {}; CoLoR = callPackage ../development/coq-modules/CoLoR {};
math-classes = callPackage ../development/coq-modules/math-classes { }; math-classes = callPackage ../development/coq-modules/math-classes { };
fiat_HEAD = callPackage ../development/coq-modules/fiat/HEAD.nix {}; fiat_HEAD = callPackage ../development/coq-modules/fiat/HEAD.nix {};
equations = callPackage ../development/coq-modules/equations { };
}; };
coqPackages_8_4 = mkCoqPackages_8_4 coqPackages_8_4; coqPackages_8_4 = mkCoqPackages_8_4 coqPackages_8_4;