diff --git a/sidekick-bin.opam b/sidekick-bin.opam
index 449ff1f1..87bd870c 100644
--- a/sidekick-bin.opam
+++ b/sidekick-bin.opam
@@ -12,7 +12,7 @@ build: [
 ]
 depends: [
   "dune" {build}
-  "containers" { >= "2.8" }
+  "containers" { >= "3.0" & < "4.0" }
   "iter"
   "zarith"
   "smtlib-utils" { >= "0.1" & < "0.2" }