Update the lock file

OCamlPro · Mar 22, 2024 · fcaa34c · fcaa34c
1 parent 33e972f
commit fcaa34c
Showing 1 changed file with 17 additions and 14 deletions.
diff --git a/alt-ergo-lib.opam.locked b/alt-ergo-lib.opam.locked
@@ -34,9 +34,9 @@ depends: [
   "dolmen" {= "dev"}
   "dolmen_loop" {= "dev"}
   "dolmen_type" {= "dev"}
-  "dune" {= "3.12.2"}
-  "dune-build-info" {= "3.12.2"}
-  "dune-configurator" {= "3.12.2"}
+  "dune" {= "3.14.2"}
+  "dune-build-info" {= "3.14.2"}
+  "dune-configurator" {= "3.14.2"}
   "fmt" {= "0.9.0"}
   "gen" {= "1.1"}
   "js_of_ocaml" {= "5.4.0"}
@@ -47,7 +47,6 @@ depends: [
   "menhirCST" {= "20231231"}
   "menhirLib" {= "20231231"}
   "menhirSdk" {= "20231231"}
-  "num" {= "1.5"}
   "ocaml-compiler-libs" {= "v0.12.4"}
   "ocaml-options-vanilla" {= "1"}
   "ocamlbuild" {= "0.14.3"}
@@ -58,7 +57,7 @@ depends: [
   "ppx_blob" {= "0.7.2"}
   "ppx_derivers" {= "1.2.1"}
   "ppx_deriving" {= "5.2.1"}
-  "ppxlib" {= "0.31.0"}
+  "ppxlib" {= "0.32.0"}
   "result" {= "1.5"}
   "sedlex" {= "3.2"}
   "seq" {= "base"}
@@ -94,19 +93,23 @@ conflicts: [
 ]
 pin-depends: [
   [
-    "dolmen.dev"
-    "git+https://github.com/Gbury/dolmen.git#5e22e653ec376336bbbed50aca4946db8edbc90f"
-  ]
+  "dolmen.dev"
+  "git+https://github.com/Gbury/dolmen.git#4637064b98d0af7e42e8a55845ca80cb19fe1f36"
+]
   [
-    "dolmen_loop.dev"
-    "git+https://github.com/Gbury/dolmen.git#5e22e653ec376336bbbed50aca4946db8edbc90f"
-  ]
+  "dolmen_loop.dev"
+  "git+https://github.com/Gbury/dolmen.git#4637064b98d0af7e42e8a55845ca80cb19fe1f36"
+]
   [
-    "dolmen_type.dev"
-    "git+https://github.com/Gbury/dolmen.git#5e22e653ec376336bbbed50aca4946db8edbc90f"
-  ]
+  "dolmen_type.dev"
+  "git+https://github.com/Gbury/dolmen.git#4637064b98d0af7e42e8a55845ca80cb19fe1f36"
+]
   [
     "js_of_ocaml.5.4.0"
     "https://github.com/ocsigen/js_of_ocaml/releases/download/5.4.0/js_of_ocaml-5.4.0.tbz"
   ]
+  [
+  "ocplib-simplex.0.5"
+  "git+https://github.com/OCamlPro/ocplib-simplex.git#master"
+]
 ]