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

coqPackages.paco: Add attribute to 8_5 and 8_6 as well

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

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

@ -18019,6 +18019,7 @@ with pkgs;
flocq = callPackage ../development/coq-modules/flocq {}; flocq = callPackage ../development/coq-modules/flocq {};
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 {};
math-classes = callPackage ../development/coq-modules/math-classes { }; math-classes = callPackage ../development/coq-modules/math-classes { };
ssreflect = callPackage ../development/coq-modules/ssreflect { }; ssreflect = callPackage ../development/coq-modules/ssreflect { };
QuickChick = callPackage ../development/coq-modules/QuickChick {}; QuickChick = callPackage ../development/coq-modules/QuickChick {};
@ -18036,6 +18037,7 @@ with pkgs;
flocq = callPackage ../development/coq-modules/flocq {}; flocq = callPackage ../development/coq-modules/flocq {};
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 {};
ssreflect = callPackage ../development/coq-modules/ssreflect { }; ssreflect = callPackage ../development/coq-modules/ssreflect { };
QuickChick = callPackage ../development/coq-modules/QuickChick {}; QuickChick = callPackage ../development/coq-modules/QuickChick {};
fiat_HEAD = callPackage ../development/coq-modules/fiat/HEAD.nix {}; fiat_HEAD = callPackage ../development/coq-modules/fiat/HEAD.nix {};