diff --git a/released/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.1.16.0/opam b/released/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.1.16.0/opam
index 3c9b5015ef..9506b8657a 100644
--- a/released/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.1.16.0/opam
+++ b/released/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.1.16.0/opam
@@ -8,7 +8,7 @@ license: "CECILL-B"
 
 build: [ make "-C" "mathcomp/ssreflect" "-j" "%{jobs}%" ]
 install: [ make "-C" "mathcomp/ssreflect" "install" ]
-depends: [ "coq" { ((>= "8.13" & < "8.19~") | (= "dev"))} ]
+depends: [ "coq" { (>= "8.13" & < "8.19~") } ]
 
 tags: [ "keyword:small scale reflection" "keyword:mathematical components" "keyword:odd order theorem" "logpath:mathcomp.ssreflect" ]
 authors: [ "Jeremy Avigad <>" "Andrea Asperti <>" "Stephane Le Roux <>" "Yves Bertot <>" "Laurence Rideau <>" "Enrico Tassi <>" "Ioana Pasca <>" "Georges Gonthier <>" "Sidi Ould Biha <>" "Cyril Cohen <>" "Francois Garillot <>" "Alexey Solovyev <>" "Russell O'Connor <>" "Laurent Théry <>" "Assia Mahboubi <>" ]
diff --git a/released/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.1.17.0/opam b/released/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.1.17.0/opam
index b8e757c68f..c41827256c 100644
--- a/released/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.1.17.0/opam
+++ b/released/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.1.17.0/opam
@@ -8,7 +8,7 @@ license: "CECILL-B"
 
 build: [ make "-C" "mathcomp/ssreflect" "-j" "%{jobs}%" ]
 install: [ make "-C" "mathcomp/ssreflect" "install" ]
-depends: [ "coq" { ((>= "8.15" & < "8.19~") | (= "dev"))} ]
+depends: [ "coq" { (>= "8.15" & < "8.19~") } ]
 
 tags: [ "keyword:small scale reflection" "keyword:mathematical components" "keyword:odd order theorem" "logpath:mathcomp.ssreflect" ]
 authors: [ "Jeremy Avigad <>" "Andrea Asperti <>" "Stephane Le Roux <>" "Yves Bertot <>" "Laurence Rideau <>" "Enrico Tassi <>" "Ioana Pasca <>" "Georges Gonthier <>" "Sidi Ould Biha <>" "Cyril Cohen <>" "Francois Garillot <>" "Alexey Solovyev <>" "Russell O'Connor <>" "Laurent Théry <>" "Assia Mahboubi <>" ]
diff --git a/released/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.2.0.0/opam b/released/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.2.0.0/opam
index 20ea242654..cecce1732b 100644
--- a/released/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.2.0.0/opam
+++ b/released/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.2.0.0/opam
@@ -9,7 +9,7 @@ license: "CECILL-B"
 build: [ make "-C" "mathcomp/ssreflect" "-j" "%{jobs}%" ]
 install: [ make "-C" "mathcomp/ssreflect" "install" ]
 depends: [
-  "coq" { ((>= "8.16" & < "8.19~") | (= "dev"))}
+  "coq" { (>= "8.16" & < "8.19~") }
   "coq-hierarchy-builder" { >= "1.4.0"}
 ]