diff --git a/coq-mathcomp-dioid.opam b/coq-mathcomp-dioid.opam
index be8990a..607188b 100644
--- a/coq-mathcomp-dioid.opam
+++ b/coq-mathcomp-dioid.opam
@@ -11,6 +11,6 @@ license: "CECILL-B"
 
 depends: [
   "coq-core"
-  "rocq-mathcomp-diod"
+  "rocq-mathcomp-dioid"
 ]
 synopsis: "Compatibility package for rocq-mathcomp-dioid"