diff --git a/packages/zipperposition.0.1.1/opam b/packages/zipperposition.0.1.1/opam
index 903feeea72e..ecac9a08fed 100644
--- a/packages/zipperposition.0.1.1/opam
+++ b/packages/zipperposition.0.1.1/opam
@@ -9,3 +9,4 @@ remove: [
 ]
 homepage: "https://www.rocq.inria.fr/deducteam/Zipperposition/index.html"
 patches: ["sed-bsd-compatible.patch"]
+ocaml-version: [ >= "4.00.0" & < "4.01.0" ]
diff --git a/packages/zipperposition.0.1/opam b/packages/zipperposition.0.1/opam
index b7b559a2007..b0ae396dfb1 100644
--- a/packages/zipperposition.0.1/opam
+++ b/packages/zipperposition.0.1/opam
@@ -8,3 +8,4 @@ remove: [
     ["rm" "%{bin}%/zipperposition"]
 ]
 homepage: "https://www.rocq.inria.fr/deducteam/Zipperposition/index.html"
+ocaml-version: [ >= "4.00.0" & < "4.01.0" ]
diff --git a/packages/zipperposition.0.2/opam b/packages/zipperposition.0.2/opam
index 56b91421360..45af981a60f 100644
--- a/packages/zipperposition.0.2/opam
+++ b/packages/zipperposition.0.2/opam
@@ -7,5 +7,5 @@ remove: [
     ["rm" "%{bin}%/zipperposition"]
 ]
 depends: [ "ocamlfind" "datalog" { < "0.4" } "camlzip" "yojson" ]
-ocaml-version: [ >= "4.00.0" ]
+ocaml-version: [ >= "4.00.0" & < "4.01.0" ]
 homepage: "https://www.rocq.inria.fr/deducteam/Zipperposition/index.html"