|
|
|
@ -118,6 +118,9 @@ in rec { |
|
|
|
|
coq_8_11 = callPackage ../applications/science/logic/coq { |
|
|
|
|
version = "8.11.2"; |
|
|
|
|
}; |
|
|
|
|
coq_8_12 = callPackage ../applications/science/logic/coq { |
|
|
|
|
version = "8.12+beta1"; |
|
|
|
|
}; |
|
|
|
|
|
|
|
|
|
coqPackages_8_5 = mkCoqPackages coq_8_5; |
|
|
|
|
coqPackages_8_6 = mkCoqPackages coq_8_6; |
|
|
|
@ -126,6 +129,7 @@ in rec { |
|
|
|
|
coqPackages_8_9 = mkCoqPackages coq_8_9; |
|
|
|
|
coqPackages_8_10 = mkCoqPackages coq_8_10; |
|
|
|
|
coqPackages_8_11 = mkCoqPackages coq_8_11; |
|
|
|
|
coqPackages_8_12 = mkCoqPackages coq_8_12; |
|
|
|
|
coqPackages = recurseIntoAttrs (lib.mapDerivationAttrset lib.dontDistribute |
|
|
|
|
coqPackages_8_9 |
|
|
|
|
); |
|
|
|
|