diff --git a/released/packages/coq-simple-io/coq-simple-io.1.8.0/opam b/released/packages/coq-simple-io/coq-simple-io.1.8.0/opam
index 86dc7ebb83..5f89e2b3c3 100644
--- a/released/packages/coq-simple-io/coq-simple-io.1.8.0/opam
+++ b/released/packages/coq-simple-io/coq-simple-io.1.8.0/opam
@@ -13,7 +13,7 @@ build: [
 depends: [
   "ocaml" {>= "4.08.0"}
   "ocamlfind"
-  "coq" {>= "8.11" & < "8.19~"}
+  "coq" {>= "8.11" & < "8.20~"}
   "coq-ext-lib" {>= "0.10.0"}
   "ocamlbuild" {with-test & >= "0.9.0"}
   "cppo" {build & >= "1.6.8"}