acgtk: use OCaml 4.05
This commit is contained in:
parent
28ee1ae69d
commit
c81d4f800e
@ -20835,7 +20835,9 @@ with pkgs;
|
||||
|
||||
abella = callPackage ../applications/science/logic/abella {};
|
||||
|
||||
acgtk = callPackage ../applications/science/logic/acgtk { };
|
||||
acgtk = callPackage ../applications/science/logic/acgtk {
|
||||
ocamlPackages = ocaml-ng.ocamlPackages_4_05;
|
||||
};
|
||||
|
||||
alt-ergo = callPackage ../applications/science/logic/alt-ergo { };
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user