diff --git a/extra-dev/packages/coq-fcsl-pcm/coq-fcsl-pcm.dev/opam b/extra-dev/packages/coq-fcsl-pcm/coq-fcsl-pcm.dev/opam
index a374d17f9..9fcfce641 100644
--- a/extra-dev/packages/coq-fcsl-pcm/coq-fcsl-pcm.dev/opam
+++ b/extra-dev/packages/coq-fcsl-pcm/coq-fcsl-pcm.dev/opam
@@ -9,8 +9,8 @@ license: "Apache-2.0"
 build: [ make "-j%{jobs}%" ]
 install: [ make "install" ]
 depends: [
-  "coq" {>= "8.15"}
-  "coq-mathcomp-ssreflect" {>= "1.15.0" & < "2.0"}
+  "coq" {>= "8.19"}
+  "coq-mathcomp-ssreflect" {>= "2.2.0"}
   "coq-mathcomp-algebra"
 ]
 tags: [