forked from mirrors/nixpkgs
coq_8_6: use OCaml 4.05
This commit is contained in:
parent
271af919e3
commit
9edd1875bc
|
@ -70,6 +70,7 @@ in rec {
|
|||
version = "8.5pl3";
|
||||
};
|
||||
coq_8_6 = callPackage ../applications/science/logic/coq {
|
||||
ocamlPackages = ocamlPackages_4_05;
|
||||
version = "8.6.1";
|
||||
};
|
||||
coq_8_7 = callPackage ../applications/science/logic/coq {
|
||||
|
|
Loading…
Reference in a new issue