diff --git a/released/packages/coq-coqprime/coq-coqprime.1.3.0/opam b/released/packages/coq-coqprime/coq-coqprime.1.3.0/opam
index 2b2660998..891237c2f 100644
--- a/released/packages/coq-coqprime/coq-coqprime.1.3.0/opam
+++ b/released/packages/coq-coqprime/coq-coqprime.1.3.0/opam
@@ -13,7 +13,7 @@ install: [
 ]
 depends: [
   "ocaml"
-  "coq" {>= "8.16~" & < "8.18"}
+  "coq" {>= "8.16~" & < "8.19"}
   "coq-bignums"
 ]
 synopsis: "Certifying prime numbers in Coq"
diff --git a/released/packages/coq-libhyps/coq-libhyps.2.0.6/opam b/released/packages/coq-libhyps/coq-libhyps.2.0.6/opam
index 6b70cb903..5961fb50c 100644
--- a/released/packages/coq-libhyps/coq-libhyps.2.0.6/opam
+++ b/released/packages/coq-libhyps/coq-libhyps.2.0.6/opam
@@ -16,7 +16,7 @@ build: [
 install: [make "install"]
 
 depends: [
-  "coq" {(>= "8.11" & < "8.18~") | (= "dev")}
+  "coq" {(>= "8.11" & < "8.19~") | (= "dev")}
 ]
 
 tags: [