coq_8_5: use OCaml 4.05
This commit is contained in:
parent
8cdb0c3cbd
commit
9b76bf991f
|
@ -20855,7 +20855,9 @@ with pkgs;
|
|||
|
||||
inherit (callPackage ./coq-packages.nix {
|
||||
inherit (ocaml-ng) ocamlPackages_3_12_1
|
||||
ocamlPackages_4_02;
|
||||
ocamlPackages_4_02
|
||||
ocamlPackages_4_05
|
||||
;
|
||||
}) mkCoqPackages
|
||||
coq_8_3 coq_8_4 coq_8_5 coq_8_6 coq_8_7 coq_8_8
|
||||
coqPackages_8_5 coqPackages_8_6 coqPackages_8_7 coqPackages_8_8
|
||||
|
|
|
@ -2,6 +2,7 @@
|
|||
, gnumake3
|
||||
, ocamlPackages_3_12_1
|
||||
, ocamlPackages_4_02
|
||||
, ocamlPackages_4_05
|
||||
}:
|
||||
|
||||
let
|
||||
|
@ -65,6 +66,7 @@ in rec {
|
|||
camlp5 = ocamlPackages_4_02.camlp5_transitional;
|
||||
};
|
||||
coq_8_5 = callPackage ../applications/science/logic/coq {
|
||||
ocamlPackages = ocamlPackages_4_05;
|
||||
version = "8.5pl3";
|
||||
};
|
||||
coq_8_6 = callPackage ../applications/science/logic/coq {
|
||||
|
|
Loading…
Reference in a new issue