drop compatibility with MathComp 2.0.0 due to fourcolor 1.4.0

coq-community · Nov 30, 2024 · f3a71e9 · f3a71e9
1 parent 1ac8e8b
commit f3a71e9
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 8 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -22,7 +22,6 @@ jobs:
           - 'mathcomp/mathcomp:2.2.0-coq-8.19'
           - 'mathcomp/mathcomp:2.2.0-coq-8.18'
           - 'mathcomp/mathcomp:2.1.0-coq-8.18'
-          - 'mathcomp/mathcomp:2.0.0-coq-8.18'
       fail-fast: false
     steps:
       - uses: actions/checkout@v4

diff --git a/README.md b/README.md
@@ -49,7 +49,7 @@ axiomatization of graph isomorphism).
 - License: [CeCILL-B](LICENSE)
 - Compatible Coq versions: 8.18 or later
 - Additional dependencies:
-  - MathComp's [SSReflect library](https://math-comp.github.io), version 2.0 or later
+  - MathComp's [SSReflect library](https://math-comp.github.io), version 2.1.0 or later
   - MathComp's [Algebra library](https://math-comp.github.io)
   - MathComp's [finmap library](https://github.com/math-comp/finmap)
   - [Hierarchy Builder](https://github.com/math-comp/hierarchy-builder), version 1.5.0 or later

diff --git a/coq-graph-theory-planar.opam b/coq-graph-theory-planar.opam
@@ -17,7 +17,7 @@ build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
   "dune" {>= "3.5"}
   "coq" {>= "8.18"}
-  "coq-mathcomp-ssreflect" {>= "2.0"}
+  "coq-mathcomp-ssreflect" {>= "2.1.0"}
   "coq-graph-theory" {= version}
   "coq-fourcolor"
 ]

diff --git a/coq-graph-theory.opam b/coq-graph-theory.opam
@@ -17,7 +17,7 @@ build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
   "dune" {>= "3.5"}
   "coq" {>= "8.18"}
-  "coq-mathcomp-ssreflect" {>= "2.0"}
+  "coq-mathcomp-ssreflect" {>= "2.1.0"}
   "coq-mathcomp-algebra" 
   "coq-mathcomp-finmap" 
   "coq-hierarchy-builder" {>= "1.5.0"}

diff --git a/meta.yml b/meta.yml
@@ -78,16 +78,14 @@ tested_coq_opam_versions:
   repo: 'mathcomp/mathcomp'
 - version: '2.1.0-coq-8.18'
   repo: 'mathcomp/mathcomp'
-- version: '2.0.0-coq-8.18'
-  repo: 'mathcomp/mathcomp'
 
 ci_cron_schedule: '25 5 * * 5'
 
 dependencies:
 - opam:
     name: coq-mathcomp-ssreflect
-    version: '{>= "2.0"}'
-  description: MathComp's [SSReflect library](https://math-comp.github.io), version 2.0 or later
+    version: '{>= "2.1.0"}'
+  description: MathComp's [SSReflect library](https://math-comp.github.io), version 2.1.0 or later
 - opam:
     name: coq-mathcomp-algebra
   description: MathComp's [Algebra library](https://math-comp.github.io)