diff --git a/dune-project b/dune-project index 05ed3dfe..7467d2d6 100644 --- a/dune-project +++ b/dune-project @@ -60,7 +60,7 @@ (integers (>= 0.5.1)) (ocaml_intrinsics - (>= "v0.17.0")) + (>= "v0.16.1")) (prelude (>= 0.5)) (processor diff --git a/owi.opam b/owi.opam index 00b3782e..565f5ada 100644 --- a/owi.opam +++ b/owi.opam @@ -27,7 +27,7 @@ depends: [ "cmdliner" {>= "1.3.0"} "digestif" {>= "1.2.0"} "integers" {>= "0.5.1"} - "ocaml_intrinsics" {>= "v0.17.0"} + "ocaml_intrinsics" {>= "v0.16.1"} "prelude" {>= "0.5"} "processor" {>= "0.2"} "sedlex" {>= "3.3"}