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

coqPackages_8_4: remove

Browse Source
This commit is contained in:
Vincent Laporte 2017-12-02 08:55:01 +00:00
parent da84fab60b
commit 464c63e8d4
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
1 changed files with 0 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -18793,13 +18793,6 @@ with pkgs;
version = "8.7.0"; version = "8.7.0";
}; };
mkCoqPackages_8_4 = self: let callPackage = newScope self; in {
inherit callPackage;
coq = coq_8_4;
coqPackages = coqPackages_8_4;
};
mkCoqPackages = self: coq: let callPackage = newScope self; in rec { mkCoqPackages = self: coq: let callPackage = newScope self; in rec {
inherit callPackage coq; inherit callPackage coq;
coqPackages = self; coqPackages = self;
@ -18826,7 +18819,6 @@ with pkgs;
equations = callPackage ../development/coq-modules/equations { }; equations = callPackage ../development/coq-modules/equations { };
}; };
coqPackages_8_4 = mkCoqPackages_8_4 coqPackages_8_4;
coqPackages_8_5 = mkCoqPackages coqPackages_8_5 coq_8_5; coqPackages_8_5 = mkCoqPackages coqPackages_8_5 coq_8_5;
coqPackages_8_6 = mkCoqPackages coqPackages_8_6 coq_8_6; coqPackages_8_6 = mkCoqPackages coqPackages_8_6 coq_8_6;
coqPackages_8_7 = mkCoqPackages coqPackages_8_7 coq_8_7; coqPackages_8_7 = mkCoqPackages coqPackages_8_7 coq_8_7;