fix

thery · Oct 5, 2023 · 4bdc7f8 · 4bdc7f8
1 parent 7b44aad
commit 4bdc7f8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/coq-mathcomp-extra.opam b/coq-mathcomp-extra.opam
@@ -67,7 +67,7 @@ depends: [
   "coq-mathcomp-ssreflect" {(>= "2.0.0")}
   "coq-mathcomp-fingroup" {(>= "2.0.0")}
   "coq-mathcomp-algebra" {(>= "2.0.0")}
-  "coq-mathcomp-foeld" {(>= "2.0.0")}
+  "coq-mathcomp-field" {(>= "2.0.0")}
   "coq-mathcomp-zify" {(>= "1.5.0+2.0+8.16")}
   "coq-mathcomp-algebra-tactics" {(>= "1.2.1")}
 ]

diff --git a/meta.yml b/meta.yml
@@ -95,7 +95,7 @@ dependencies:
   description: |-
     [MathComp algebra 2.0.0 or later](https://math-comp.github.io)
 - opam:
-    name: coq-mathcomp-foeld
+    name: coq-mathcomp-field
     version: '{(>= "2.0.0")}'
   description: |-
     [MathComp field 2.0.0 or later](https://math-comp.github.io)