diff --git a/extra-dev/packages/coq-mathcomp-dioid/coq-mathcomp-dioid.dev/opam b/extra-dev/packages/coq-mathcomp-dioid/coq-mathcomp-dioid.dev/opam
index 5d01e7d8c4..8b7f95e2f0 100644
--- a/extra-dev/packages/coq-mathcomp-dioid/coq-mathcomp-dioid.dev/opam
+++ b/extra-dev/packages/coq-mathcomp-dioid/coq-mathcomp-dioid.dev/opam
@@ -14,10 +14,10 @@ build: [
 install: [make "install"]
 
 depends: [
-  "coq" { >= "8.11" & < "8.14~" }
-  "coq-mathcomp-ssreflect" { >= "1.12" & < "1.13~" }
-  "coq-mathcomp-analysis" { >= "0.3.5" & < "0.4~" }
-  "coq-hierarchy-builder" { >= "1.0" & < "2~" }
+  "coq" { >= "9.4~" }
+  "coq-mathcomp-algebra" { >= "2.4~" }
+  "coq-mathcomp-classical" { >= "1.8" }
+  "coq-hierarchy-builder" { >= "1.8.0" }
 ]
 synopsis: "Dioid"
 description: """