diff --git a/released/packages/coq-mathcomp-classical/coq-mathcomp-classical.1.2.0/opam b/released/packages/coq-mathcomp-classical/coq-mathcomp-classical.1.2.0/opam
index a8f4096ff..18e438124 100644
--- a/released/packages/coq-mathcomp-classical/coq-mathcomp-classical.1.2.0/opam
+++ b/released/packages/coq-mathcomp-classical/coq-mathcomp-classical.1.2.0/opam
@@ -14,7 +14,7 @@ the Coq proof-assistant and using the Mathematical Components library."""
 build: [make "-C" "classical" "-j%{jobs}%"]
 install: [make "-C" "classical" "install"]
 depends: [
-  "coq" { (>= "8.18" & < "8.20~") | (= "dev") }
+  "coq" { (>= "8.18" & < "8.21~") | (= "dev") }
   "coq-mathcomp-ssreflect" { (>= "2.1.0") }
   "coq-mathcomp-fingroup"
   "coq-mathcomp-algebra"