diff --git a/meta.yml b/meta.yml
index 2e34f3a..e5b00f6 100644
--- a/meta.yml
+++ b/meta.yml
@@ -59,11 +59,11 @@ dependencies:
   description: |-
     [MathComp](https://math-comp.github.io) algebra
 - opam:
-    name: coq-mathcomp-bigenough
+    name: rocq-mathcomp-bigenough
   description: |-
     [MathComp bigenough](https://github.com/math-comp/bigenough)
 - opam:
-    name: coq-mathcomp-finmap
+    name: rocq-mathcomp-finmap
   description: |-
     [MathComp finmap](https://github.com/math-comp/finmap)
 
diff --git a/rocq-mathcomp-multinomials.opam b/rocq-mathcomp-multinomials.opam
index 515fb33..a98c836 100644
--- a/rocq-mathcomp-multinomials.opam
+++ b/rocq-mathcomp-multinomials.opam
@@ -22,8 +22,8 @@ depends: [
   "rocq-core" {>= "9.0"}
   "rocq-mathcomp-ssreflect" {>= "2.4"}
   "rocq-mathcomp-algebra" 
-  "coq-mathcomp-bigenough" 
-  "coq-mathcomp-finmap" 
+  "rocq-mathcomp-bigenough" 
+  "rocq-mathcomp-finmap" 
 ]
 conflicts: [ "coq-mathcomp-multinomials" {<= "2.4.0"} ]