From 340fcf18fc5f65b4c3d8576bff18e1d6c58a3bb8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jo=C3=A3o=20Santos=20Reis?= <joaosreis@outlook.pt>
Date: Sun, 19 Jan 2025 11:19:41 +0000
Subject: [PATCH] Update core_unix and core version constraints to v0.14 -
 v0.15

---
 dune-project | 8 ++++----
 tezla.opam   | 4 ++--
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/dune-project b/dune-project
index 3372dc4..28ed13f 100644
--- 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
index b149ddc..048ec52 100644
--- 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"