ekrhyper: migrate to OCaml 4.14

2023-01-19 13:55:44 +08:00
parent 67e26d3df7
commit 16ef918b42
1 changed files with 3 additions and 1 deletions
@@ -36317,7 +36317,9 @@ with pkgs;
  drat-trim = callPackage ../applications/science/logic/drat-trim {};

  ekrhyper = callPackage ../applications/science/logic/ekrhyper {
-    inherit (ocaml-ng.ocamlPackages_4_02) ocaml;
+    ocaml = ocaml-ng.ocamlPackages_4_14.ocaml.override {
+      unsafeStringSupport = true;
+    };
  };

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