diff --git a/sidekick-bin.opam b/sidekick-bin.opam
index 87bd870c..83de23dd 100644
--- a/sidekick-bin.opam
+++ b/sidekick-bin.opam
@@ -11,7 +11,7 @@ build: [
   # ["dune" "runtest" "-p" name] {with-test}
 ]
 depends: [
-  "dune" {build}
+  "dune" { >= "1.1" }
   "containers" { >= "3.0" & < "4.0" }
   "iter"
   "zarith"
diff --git a/sidekick.opam b/sidekick.opam
index a596379a..bd4cf5ed 100644
--- a/sidekick.opam
+++ b/sidekick.opam
@@ -11,7 +11,7 @@ build: [
   ["dune" "runtest" "-p" name "-j" jobs] {with-test}
 ]
 depends: [
-  "dune" {build}
+  "dune" { >= "1.1" }
   "containers" { >= "3.0" & < "4.0" }
   "iter" { >= "1.0" & < "2.0" }
   "msat" { >= "0.8.3" < "0.9" }