diff --git a/released/packages/coq-graph-theory/coq-graph-theory.0.9.2/opam b/released/packages/coq-graph-theory/coq-graph-theory.0.9.2/opam
index fad02f7c26..5fb111b1b8 100644
--- a/released/packages/coq-graph-theory/coq-graph-theory.0.9.2/opam
+++ b/released/packages/coq-graph-theory/coq-graph-theory.0.9.2/opam
@@ -16,7 +16,7 @@ build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
   "dune" {>= "2.5"}
   "coq" {>= "8.14" & < "8.19~"}
-  "coq-mathcomp-ssreflect" {>= "1.13" & < "1.18~"}
+  "coq-mathcomp-ssreflect" {>= "1.13" & < "1.19~"}
   "coq-mathcomp-algebra" 
   "coq-mathcomp-finmap" 
   "coq-hierarchy-builder" {>= "1.1.0"}
diff --git a/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.5.2/opam b/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.5.2/opam
index 3fdb0417f2..d0561261f0 100644
--- a/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.5.2/opam
+++ b/released/packages/coq-mathcomp-finmap/coq-mathcomp-finmap.1.5.2/opam
@@ -18,7 +18,7 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "coq" { (>= "8.13" & < "8.19~") | (= "dev") }
-  "coq-mathcomp-ssreflect" { (>= "1.12.0" & < "1.18~") | (= "dev") }
+  "coq-mathcomp-ssreflect" {>= "1.12.0" & < "1.19~"}
 ]
 
 tags: [
diff --git a/released/packages/coq-reglang/coq-reglang.1.1.3/opam b/released/packages/coq-reglang/coq-reglang.1.1.3/opam
index e8cdbaba95..636c7df28b 100644
--- a/released/packages/coq-reglang/coq-reglang.1.1.3/opam
+++ b/released/packages/coq-reglang/coq-reglang.1.1.3/opam
@@ -19,7 +19,7 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "coq" {>= "8.10" & < "8.19"}
-  "coq-mathcomp-ssreflect" {>= "1.11" & < "1.18"}
+  "coq-mathcomp-ssreflect" {>= "1.11" & < "1.19"}
 ]
 
 tags: [