diff --git a/libzipperposition.opam b/libzipperposition.opam
index 06f9e9e5a..382a6a9ff 100644
--- a/libzipperposition.opam
+++ b/libzipperposition.opam
@@ -16,7 +16,7 @@ depends: [
   "containers" { >= "3.0" & < "4.0" }
   "iter" { >= "1.2" }
   "oseq"
-  "dune" { >= "1.1" }
+  "dune" { >= "1.11" }
   "msat" { >= "0.8.1" < "0.9" }
   "menhir" {build}
   "logtk" { = version }
diff --git a/logtk.opam b/logtk.opam
index bc52eefe8..71d1a9652 100644
--- a/logtk.opam
+++ b/logtk.opam
@@ -18,7 +18,7 @@ depends: [
   "containers-data" { >= "3.0" & < "4.0" }
   "iter" { >= "1.2" }
   "menhir" {build}
-  "dune" { >= "1.1" }
+  "dune" { >= "1.11" }
   "alcotest" {with-test}
   "qcheck-core" {with-test & >= "0.9"}
   "qcheck-alcotest" {with-test & >= "0.9"}