diff --git a/caisar.opam b/caisar.opam index 67fd9e900fd9259a0c452bb8ebe4d22ed5c896c2..e64036a5e46a5cc196e457dae8880ea25a9ac099 100644 --- a/caisar.opam +++ b/caisar.opam @@ -17,7 +17,7 @@ depends: [ "piqilib" {>= "0.6.14"} "zarith" {>= "1.7"} "ocplib-endian" {>= "1.0"} - "base" {>= "v0.15.1"} + "base" {>= "v0.15.1" & < "v0.17.0"} "stdio" {>= "v0.14.0"} "cmdliner" {>= "1.1.1"} "fmt" {>= "0.8.9"} diff --git a/dune-project b/dune-project index caa45f980b857c55c522cc93ad6977524ba7ad66..9d579544a223cc44706fcb41181b1277251affea 100644 --- a/dune-project +++ b/dune-project @@ -27,7 +27,7 @@ (piqilib (>= 0.6.14)) (zarith (>= 1.7)) (ocplib-endian (>= 1.0)) - (base (>= v0.15.1)) + (base (and (>= v0.15.1) (< v0.17.0))) (stdio (>= v0.14.0)) (cmdliner (>= 1.1.1)) (fmt (>= 0.8.9))