From 9d2f1d00afd97b78388e7e538b2f68fafff943ab Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Thu, 20 Aug 2026 11:22:48 +0200
Subject: [PATCH] Fix OPAM file

---
 meta.yml                        | 4 ++--
 rocq-mathcomp-multinomials.opam | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

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"} ]