hol_light: use default version of OCaml

2023-08-11 19:10:36 +02:00
parent 032f6c6f93
commit fb5e53615b
1 changed files with 1 additions and 1 deletions
@@ -39263,7 +39263,7 @@ with pkgs;

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

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

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