diff --git a/extra-dev/packages/coq-mathcomp-zify/coq-mathcomp-zify.dev/opam b/extra-dev/packages/coq-mathcomp-zify/coq-mathcomp-zify.dev/opam
index 928a160ec..4a698f29d 100644
--- a/extra-dev/packages/coq-mathcomp-zify/coq-mathcomp-zify.dev/opam
+++ b/extra-dev/packages/coq-mathcomp-zify/coq-mathcomp-zify.dev/opam
@@ -15,8 +15,9 @@ zify tactic."""
 build: [make "-j%{jobs}%" ]
 install: [make "install"]
 depends: [
-  "coq" {>= "8.13"}
-  "coq-mathcomp-algebra" {>= "1.12"}
+  "coq" {>= "8.16"}
+  "coq-mathcomp-ssreflect" {>= "2.0"}
+  "coq-mathcomp-algebra"
 ]
 
 tags: [