Update core_unix and core version constraints to v0.14 - v0.15

joaosreis · Jan 19, 2025 · 340fcf1 · 340fcf1
1 parent ab7609e
commit 340fcf1
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/dune-project b/dune-project
@@ -30,12 +30,12 @@
   (core_unix
    (and
     :with-test
-    (>= v0.15)
-    (< v0.16)))
+    (>= v0.14)
+    (< v0.15)))
   (core
    (and
-    (>= v0.15)
-    (< v0.16)))
+    (>= v0.14)
+    (< v0.15)))
   bignum
   michelson-adt
   michelson-parser))
diff --git a/tezla.opam b/tezla.opam
@@ -13,8 +13,8 @@ depends: [
   "alcotest" {with-test}
   "qcheck" {with-test}
   "qcheck-alcotest" {with-test}
-  "core_unix" {with-test & >= "v0.15" & < "v0.16"}
-  "core" {>= "v0.15" & < "v0.16"}
+  "core_unix" {with-test & >= "v0.14" & < "v0.15"}
+  "core" {>= "v0.14" & < "v0.15"}
   "bignum"
   "michelson-adt"
   "michelson-parser"