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)