diff --git a/caisar.opam b/caisar.opam index 95e3d04a3add2d52576492bea48e7bda41db7c0c..5eee7cf182e78c896473731db85661c0b7e819e1 100644 --- a/caisar.opam +++ b/caisar.opam @@ -19,7 +19,7 @@ depends: [ "piqilib" {>= "0.6.14"} "zarith" {>= "1.7"} "ocplib-endian" {>= "1.0"} - "base" {>= "v0.14.0"} + "base" {>= "v0.15.1"} "stdio" {>= "v0.14.0"} "cmdliner" {>= "1.1.1"} "fmt" {>= "0.8.9"} diff --git a/dune-project b/dune-project index 69a82eab7771bf3df95077f4b70c6d63cf0e9547..5cffadaa1fcb085cbe4b78a065875824eaac63e7 100644 --- a/dune-project +++ b/dune-project @@ -27,7 +27,7 @@ (piqilib (>= 0.6.14)) (zarith (>= 1.7)) (ocplib-endian (>= 1.0)) - (base (>= v0.14.0)) + (base (>= v0.15.1)) (stdio (>= v0.14.0)) (cmdliner (>= 1.1.1)) (fmt (>= 0.8.9))