diff --git a/released/packages/coq-coquelicot/coq-coquelicot.2.1.1/opam b/released/packages/coq-coquelicot/coq-coquelicot.2.1.1/opam
index 73dca4c359..6f39044ca9 100644
--- a/released/packages/coq-coquelicot/coq-coquelicot.2.1.1/opam
+++ b/released/packages/coq-coquelicot/coq-coquelicot.2.1.1/opam
@@ -11,7 +11,7 @@ build: [
 install: ["./remake" "install"]
 depends: [
   "coq" {>= "8.4pl4" & < "8.6~"}
-  "coq-mathcomp-ssreflect" {>= "1.6"}
+  "coq-mathcomp-ssreflect" {>= "1.6" & < "1.16~"}
 ]
 tags: [ "keyword:real analysis" "keyword:topology" "keyword:filters" "keyword:metric spaces" "category:Mathematics/Real Calculus and Topology" ]
 authors: [ "Sylvie Boldo <sylvie.boldo@inria.fr>" "Catherine Lelay <catherine.lelay@inria.fr>" "Guillaume Melquiond <guillaume.melquiond@inria.fr>" ]
diff --git a/released/packages/coq-coquelicot/coq-coquelicot.2.1.2/opam b/released/packages/coq-coquelicot/coq-coquelicot.2.1.2/opam
index ad7b879b5d..ec5d1eeae8 100644
--- a/released/packages/coq-coquelicot/coq-coquelicot.2.1.2/opam
+++ b/released/packages/coq-coquelicot/coq-coquelicot.2.1.2/opam
@@ -11,7 +11,7 @@ build: [
 install: ["./remake" "install"]
 depends: [
   "coq" {>= "8.5" & < "8.7~"}
-  "coq-mathcomp-ssreflect" {>= "1.6"}
+  "coq-mathcomp-ssreflect" {>= "1.6" & < "1.16~"}
 ]
 tags: [ "keyword:real analysis" "keyword:topology" "keyword:filters" "keyword:metric spaces" "category:Mathematics/Real Calculus and Topology" ]
 authors: [ "Sylvie Boldo <sylvie.boldo@inria.fr>" "Catherine Lelay <catherine.lelay@inria.fr>" "Guillaume Melquiond <guillaume.melquiond@inria.fr>" ]
diff --git a/released/packages/coq-coquelicot/coq-coquelicot.3.0.2/opam b/released/packages/coq-coquelicot/coq-coquelicot.3.0.2/opam
index b33f4b64c6..fc6b6e58f0 100644
--- a/released/packages/coq-coquelicot/coq-coquelicot.3.0.2/opam
+++ b/released/packages/coq-coquelicot/coq-coquelicot.3.0.2/opam
@@ -11,7 +11,7 @@ build: [
 install: ["./remake" "install"]
 depends: [
   "coq" {>= "8.5" & < "8.10~"}
-  "coq-mathcomp-ssreflect" {>= "1.6"}
+  "coq-mathcomp-ssreflect" {>= "1.6" & < "1.16~"}
 ]
 tags: [ "keyword:real analysis" "keyword:topology" "keyword:filters" "keyword:metric spaces" "category:Mathematics/Real Calculus and Topology" ]
 authors: [ "Sylvie Boldo <sylvie.boldo@inria.fr>" "Catherine Lelay <catherine.lelay@inria.fr>" "Guillaume Melquiond <guillaume.melquiond@inria.fr>" ]
diff --git a/released/packages/coq-coquelicot/coq-coquelicot.3.0.3+8.11/opam b/released/packages/coq-coquelicot/coq-coquelicot.3.0.3+8.11/opam
index 117ae482f7..b5f43efe1d 100644
--- a/released/packages/coq-coquelicot/coq-coquelicot.3.0.3+8.11/opam
+++ b/released/packages/coq-coquelicot/coq-coquelicot.3.0.3+8.11/opam
@@ -12,7 +12,7 @@ build: [
 install: ["./remake" "install"]
 depends: [
   "coq" {= "8.11.0"}
-  "coq-mathcomp-ssreflect" {>= "1.6"}
+  "coq-mathcomp-ssreflect" {>= "1.6" & < "1.16~"}
   ("conf-g++" {build} | "conf-clang" {build})
   "conf-autoconf" {build}
 ]
diff --git a/released/packages/coq-coquelicot/coq-coquelicot.3.0.3/opam b/released/packages/coq-coquelicot/coq-coquelicot.3.0.3/opam
index d7c6bd6c02..9c2a30efa3 100644
--- a/released/packages/coq-coquelicot/coq-coquelicot.3.0.3/opam
+++ b/released/packages/coq-coquelicot/coq-coquelicot.3.0.3/opam
@@ -11,7 +11,7 @@ build: [
 install: ["./remake" "install"]
 depends: [
   "coq" {>= "8.8" & < "8.11"}
-  "coq-mathcomp-ssreflect" {>= "1.6"}
+  "coq-mathcomp-ssreflect" {>= "1.6" & < "1.16~"}
 ]
 tags: [ "keyword:real analysis" "keyword:topology" "keyword:filters" "keyword:metric spaces" "category:Mathematics/Real Calculus and Topology" "date:2019-07-22" ]
 authors: [ "Sylvie Boldo <sylvie.boldo@inria.fr>" "Catherine Lelay <catherine.lelay@inria.fr>" "Guillaume Melquiond <guillaume.melquiond@inria.fr>" ]
diff --git a/released/packages/coq-coquelicot/coq-coquelicot.3.3.1/opam b/released/packages/coq-coquelicot/coq-coquelicot.3.3.1/opam
index 208856a952..f3957c2fdd 100644
--- a/released/packages/coq-coquelicot/coq-coquelicot.3.3.1/opam
+++ b/released/packages/coq-coquelicot/coq-coquelicot.3.3.1/opam
@@ -12,7 +12,7 @@ build: [
 install: ["./remake" "install"]
 depends: [
   "coq" {>= "8.12" & < "8.19~"}
-  "coq-mathcomp-ssreflect" {>= "1.6"}
+  "coq-mathcomp-ssreflect" {>= "1.6" & < "1.16~"}
   "conf-autoconf" {build & dev}
   ("conf-g++" {build} | "conf-clang" {build})
 ]
diff --git a/released/packages/coq-coquelicot/coq-coquelicot.3.4.0/opam b/released/packages/coq-coquelicot/coq-coquelicot.3.4.0/opam
index ed8ee3fd3a..bb03a6cf8a 100644
--- a/released/packages/coq-coquelicot/coq-coquelicot.3.4.0/opam
+++ b/released/packages/coq-coquelicot/coq-coquelicot.3.4.0/opam
@@ -12,7 +12,7 @@ build: [
 install: ["./remake" "install"]
 depends: [
   "coq" {>= "8.12" & < "8.19~"}
-  "coq-mathcomp-ssreflect" {>= "1.6"}
+  "coq-mathcomp-ssreflect" {>= "1.6" & < "2.1~"}
   "conf-autoconf" {build & dev}
   ("conf-g++" {build} | "conf-clang" {build})
 ]
diff --git a/released/packages/coq-coquelicot/coq-coquelicot.3.4.4/opam b/released/packages/coq-coquelicot/coq-coquelicot.3.4.4/opam
index 83f53486a5..fc0abbcb73 100644
--- a/released/packages/coq-coquelicot/coq-coquelicot.3.4.4/opam
+++ b/released/packages/coq-coquelicot/coq-coquelicot.3.4.4/opam
@@ -12,7 +12,7 @@ build: [
 install: ["./remake" "install"]
 depends: [
   ("coq" {>= "8.12" & < "8.17~"} | ("coq-core" & "coq-stdlib"))
-  "coq-mathcomp-ssreflect" {>= "1.6"}
+  "coq-mathcomp-ssreflect" {>= "1.6" & < "2.6~"}
   "conf-autoconf" {build & dev}
   ("conf-g++" {build} | "conf-clang" {build})
 ]