hol_light: use OCaml 4.12

2022-03-04 16:09:07 +01:00
parent 9da306179a
commit 251f4cddca
1 changed files with 1 additions and 1 deletions
@@ -32441,7 +32441,7 @@ with pkgs;

  hol = callPackage ../applications/science/logic/hol { };

-  inherit (ocamlPackages) hol_light;
+  inherit (ocaml-ng.ocamlPackages_4_12) hol_light;

  hologram = callPackage ../tools/security/hologram { };