coq - rocq

Author: thery

coq-mathcomp-extra.opam

@@ -94,9 +94,9 @@ install: [make "install"]
 depends: [
   "coq" {(>= "9.1")}
   "rocq-mathcomp-boot" {(>= "2.5.0")}
-  "coq-mathcomp-fingroup" {(>= "2.5.0")}
-  "coq-mathcomp-algebra" {(>= "2.5.0")}
-  "coq-mathcomp-field" {(>= "2.5.0")}
+  "rocq-mathcomp-fingroup" {(>= "2.5.0")}
+  "rocq-mathcomp-algebra" {(>= "2.5.0")}
+  "rocq-mathcomp-field" {(>= "2.5.0")}
   "coq-mathcomp-zify" {(>= "1.6.0+2.3+8.18")}
   "coq-mathcomp-algebra-tactics" {(>= "1.2.7")}
 ]

meta.yml

@@ -110,17 +110,17 @@ dependencies:
   description: |-
     [MathComp boot 2.5.0 or later](https://math-comp.github.io)
 - opam:
-    name: coq-mathcomp-fingroup
+    name: rocq-mathcomp-fingroup
     version: '{(>= "2.5.0")}'
   description: |-
     [MathComp fingroup 2.5.0 or later](https://math-comp.github.io)
 - opam:
-    name: coq-mathcomp-algebra
+    name: rocq-mathcomp-algebra
     version: '{(>= "2.5.0")}'
   description: |-
     [MathComp algebra 2.5.0 or later](https://math-comp.github.io)
 - opam:
-    name: coq-mathcomp-field
+    name: rocq-mathcomp-field
     version: '{(>= "2.5.0")}'
   description: |-
     [MathComp field 2.5.0 or later](https://math-comp.github.io)