Restrict core dependency version to be less than v0.16

joaosreis · Jan 13, 2025 · 14d8856 · 14d8856
1 parent 3ca3bfd
commit 14d8856
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -25,7 +25,9 @@
  (depends
   (dune :build)
   (core
-   (>= v0.15))
+   (and
+    (>= v0.15)
+    (< v0.16)))
   bignum
   (tezos-micheline
    (>= 7.0))

diff --git a/michelson-adt.opam b/michelson-adt.opam
@@ -10,7 +10,7 @@ homepage: "https://github.com/joaosreis/michelson-adt"
 bug-reports: "https://github.com/joaosreis/michelson-adt/issues"
 depends: [
   "dune" {>= "2.7" & build}
-  "core" {>= "v0.15"}
+  "core" {>= "v0.15" & < "v0.16"}
   "bignum"
   "tezos-micheline" {>= "7.0"}
   "ppx_deriving"