statverif: use OCaml 4.05
This commit is contained in:
parent
65f42595cf
commit
be6769816d
@ -20978,7 +20978,9 @@ with pkgs;
|
||||
stdenv = gccStdenv;
|
||||
};
|
||||
|
||||
statverif = callPackage ../applications/science/logic/statverif { };
|
||||
statverif = callPackage ../applications/science/logic/statverif {
|
||||
inherit (ocaml-ng.ocamlPackages_4_05) ocaml;
|
||||
};
|
||||
|
||||
tptp = callPackage ../applications/science/logic/tptp {};
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user