fix(engine): pin OCaml version

hacspec · Jun 13, 2024 · 2e7ac70 · 2e7ac70
1 parent e03937b
commit 2e7ac70
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/engine/dune-project b/engine/dune-project
@@ -20,7 +20,7 @@
  (synopsis "The engine of hax, a Rust verification tool")
  (description "Hax is divided in two: a frontend (written in Rust) and an engine (written in OCaml). This is the engine.")
  (depends
-        ocaml
+        (ocaml (= "5.1.1"))
         dune
         (base                (= "0.16"))
         (core                (= "0.16"))

diff --git a/engine/hax-engine.opam b/engine/hax-engine.opam
@@ -11,7 +11,7 @@ homepage: "https://github.com/hacspec/hax"
 doc: "https://hacspec.org/hax/"
 bug-reports: "https://github.com/hacspec/hax/issues"
 depends: [
-  "ocaml"
+  "ocaml" {= "5.1.1"}
   "dune" {>= "3.0"}
   "base" {= "0.16"}
   "core" {= "0.16"}