From 4bdc7f807d0333b26c88584a3efce60d42048243 Mon Sep 17 00:00:00 2001
From: thery <Laurent.Thery@inria.fr>
Date: Thu, 5 Oct 2023 05:41:07 +0200
Subject: [PATCH] fix

---
 coq-mathcomp-extra.opam | 2 +-
 meta.yml                | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/coq-mathcomp-extra.opam b/coq-mathcomp-extra.opam
index 437d154..90bc230 100644
--- 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
index 9b1fbf7..3a0719f 100644
--- 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)