diff --git a/released/packages/coq-coqprime-generator/coq-coqprime-generator.1.1.2/opam b/released/packages/coq-coqprime-generator/coq-coqprime-generator.1.1.2/opam
index d4f72e4ff..875942840 100644
--- a/released/packages/coq-coqprime-generator/coq-coqprime-generator.1.1.2/opam
+++ b/released/packages/coq-coqprime-generator/coq-coqprime-generator.1.1.2/opam
@@ -31,7 +31,7 @@ install: [
   [make "install"]
 ]
 depends: [
-  "ocaml" {>= "5.0"}
+  "ocaml"
   "ocamlfind"
   "zarith"
   "num"