diff --git a/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.0.0/opam b/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.0.0/opam
index df1bda816..a33862fed 100644
--- a/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.0.0/opam
+++ b/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.0.0/opam
@@ -20,7 +20,7 @@ build: [make "-j%{jobs}%" ]
 install: [make "install"]
 depends: [
   "coq" {(>= "8.13" & < "8.18~")}
-  "coq-mathcomp-ssreflect" {(>= "1.12" & < "1.17~")}
+  "coq-mathcomp-ssreflect" {(>= "1.12" & < "1.18~")}
   "coq-mathcomp-algebra"
   "coq-mathcomp-zify" {(>= "1.1.0")}
   "coq-elpi" {(>= "1.10.1" & != "1.17.0")}
diff --git a/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.1.0/opam b/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.1.0/opam
index 40f2830bf..ffc3cf2d1 100644
--- a/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.1.0/opam
+++ b/released/packages/coq-mathcomp-algebra-tactics/coq-mathcomp-algebra-tactics.1.1.0/opam
@@ -22,7 +22,7 @@ build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
   "coq" {>= "8.16" & < "8.18~"}
-  "coq-mathcomp-ssreflect" {>= "1.15" & < "1.17~"}
+  "coq-mathcomp-ssreflect" {>= "1.15" & < "1.18~"}
   "coq-mathcomp-algebra"
   "coq-mathcomp-zify" {>= "1.1.0"}
   "coq-elpi" {>= "1.15.0" & != "1.17.0"}