diff --git a/released/packages/coq-corn/coq-corn.8.16.0/opam b/released/packages/coq-corn/coq-corn.8.16.0/opam
index 0648d320e9..68cb8eecae 100644
--- a/released/packages/coq-corn/coq-corn.8.16.0/opam
+++ b/released/packages/coq-corn/coq-corn.8.16.0/opam
@@ -45,7 +45,7 @@ build: [
 ]
 install: [make "install"]
 depends: [
-  "coq" {>= "8.11" & < "8.17~"}
+  "coq" {>= "8.11" & < "8.18~"}
   "coq-math-classes" {>= "8.8.1"}
   "coq-bignums"
 ]