fix mathcomp version

coq-community · May 24, 2022 · 29b02fd · 29b02fd
1 parent 160f7e1
commit 29b02fd
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/README.md b/README.md
@@ -49,7 +49,7 @@ isomorphism).
 - License: [CeCILL-B](LICENSE)
 - Compatible Coq versions: 8.12 or later
 - Additional dependencies:
-  - MathComp's Algebra library, version 1.12 or later
+  - MathComp's Algebra library, version 1.13 or later
   - MathComp's finmap library
   - Hierarchy Builder, version 1.1.0 or later
   - Gonthier's Formal Proof of the Four-Color Theorem (optional dependency)

diff --git a/coq-graph-theory.opam b/coq-graph-theory.opam
@@ -27,7 +27,7 @@ build: [
 install: [make "install"]
 depends: [
   "coq" {(>= "8.12" & < "8.16~") | (= "dev")}
-  "coq-mathcomp-algebra" {(>= "1.12" & < "1.15~") | (= "dev")}
+  "coq-mathcomp-algebra" {(>= "1.13" & < "1.15~") | (= "dev")}
   "coq-mathcomp-finmap" 
   "coq-hierarchy-builder" { (>= "1.1.0") }
 ]

diff --git a/meta.yml b/meta.yml
@@ -79,8 +79,8 @@ ci_cron_schedule: '25 5 * * *'
 dependencies:
 - opam:
     name: coq-mathcomp-algebra
-    version: '{(>= "1.12" & < "1.15~") | (= "dev")}'
-  description: MathComp's Algebra library, version 1.12 or later
+    version: '{(>= "1.13" & < "1.15~") | (= "dev")}'
+  description: MathComp's Algebra library, version 1.13 or later
 - opam:
     name: coq-mathcomp-finmap
   description: MathComp's finmap library