diff --git a/released/packages/coq-ext-lib/coq-ext-lib.0.11.6/opam b/released/packages/coq-ext-lib/coq-ext-lib.0.11.6/opam
index 6f86220c51..f52df20713 100644
--- a/released/packages/coq-ext-lib/coq-ext-lib.0.11.6/opam
+++ b/released/packages/coq-ext-lib/coq-ext-lib.0.11.6/opam
@@ -10,7 +10,7 @@ homepage: "https://github.com/coq-community/coq-ext-lib"
 bug-reports: "https://github.com/coq-community/coq-ext-lib/issues"
 depends: [
   "ocaml"
-  "coq" {>= "8.8" < "8.15"}
+  "coq" {>= "8.8" < "8.16"}
 ]
 build: [make "-j%{jobs}%" "theories"]
 run-test: [make "-j%{jobs}%" "examples"]
diff --git a/released/packages/coq-ext-lib/coq-ext-lib.0.11.8/opam b/released/packages/coq-ext-lib/coq-ext-lib.0.11.8/opam
index 5a0dc9abfb..3b77d82e2c 100644
--- a/released/packages/coq-ext-lib/coq-ext-lib.0.11.8/opam
+++ b/released/packages/coq-ext-lib/coq-ext-lib.0.11.8/opam
@@ -10,7 +10,7 @@ homepage: "https://github.com/coq-community/coq-ext-lib"
 bug-reports: "https://github.com/coq-community/coq-ext-lib/issues"
 depends: [
   "ocaml"
-  "coq" {(>= "8.9" & < "8.10") | (>= "8.11" & < "8.18")}
+  "coq" {(>= "8.9" & < "8.10") | (>= "8.11" & < "8.19")}
 ]
 build: [make "-j%{jobs}%" "theories"]
 run-test: [make "-j%{jobs}%" "examples"]