[CI] Update Docker

.github/workflows/docker-action.yml

@@ -20,9 +20,9 @@ jobs:
           - 'mathcomp/mathcomp:2.1.0-coq-8.16'
           - 'mathcomp/mathcomp:2.1.0-coq-8.17'
           - 'mathcomp/mathcomp:2.1.0-coq-8.18'
-          - 'mathcomp/mathcomp-dev:coq-8.16'
-          - 'mathcomp/mathcomp-dev:coq-8.17'
+          - 'mathcomp/mathcomp:2.2.0-coq-8.19'
           - 'mathcomp/mathcomp-dev:coq-8.18'
+          - 'mathcomp/mathcomp-dev:coq-8.19'
           - 'mathcomp/mathcomp-dev:coq-dev'
       fail-fast: false
     steps:

coq-mathcomp-abel.opam

@@ -21,8 +21,8 @@ Mathematical Components library."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" { (>= "8.16" & < "8.19~") | = "dev" }
-  "coq-mathcomp-ssreflect" { (>= "2.0.0" & < "2.2~") | = "dev" }
+  "coq" { (>= "8.16" & < "8.20~") | = "dev" }
+  "coq-mathcomp-ssreflect" { (>= "2.0.0" & < "2.3~") | = "dev" }
   "coq-mathcomp-fingroup" 
   "coq-mathcomp-algebra" 
   "coq-mathcomp-solvable" 

meta.yml

@@ -42,67 +42,51 @@ license:
 
 supported_coq_versions:
   text: Coq 8.10 to 8.16
-  opam: '{ (>= "8.10" & < "8.17~") | = "dev" }'
+  opam: '{ (>= "8.10" & < "8.20~") | = "dev" }'
 
 tested_coq_opam_versions:
-- version: '1.13.0-coq-8.11'
-  repo: 'mathcomp/mathcomp'
-- version: '1.13.0-coq-8.12'
-  repo: 'mathcomp/mathcomp'
-- version: '1.13.0-coq-8.13'
-  repo: 'mathcomp/mathcomp'
-- version: '1.14.0-coq-8.13'
-  repo: 'mathcomp/mathcomp'
-- version: '1.14.0-coq-8.14'
-  repo: 'mathcomp/mathcomp'
-- version: '1.14.0-coq-8.15'
-  repo: 'mathcomp/mathcomp'
-- version: '1.14.0-coq-8.14'
+- version: 'coq-dev'
+  repo: 'mathcomp/mathcomp-dev'
+- version: 'coq-8.19'
+  repo: 'mathcomp/mathcomp-dev'
+- version: 'coq-8.18'
+  repo: 'mathcomp/mathcomp-dev'
+- version: '2.2.0-coq-8.19'
   repo: 'mathcomp/mathcomp'
-- version: '1.15.0-coq-8.14'
+- version: '2.1.0-coq-8.18'
   repo: 'mathcomp/mathcomp'
-- version: '1.15.0-coq-8.15'
+- version: '2.1.0-coq-8.17'
   repo: 'mathcomp/mathcomp'
-- version: '1.15.0-coq-8.16'
+- version: '2.1.0-coq-8.16'
   repo: 'mathcomp/mathcomp'
-- version: 'coq-8.13'
-  repo: 'mathcomp/mathcomp-dev'
-- version: 'coq-8.14'
-  repo: 'mathcomp/mathcomp-dev'
-- version: 'coq-8.15'
-  repo: 'mathcomp/mathcomp-dev'
-- version: 'coq-8.16'
-  repo: 'mathcomp/mathcomp-dev'
-- version: 'coq-dev'
-  repo: 'mathcomp/mathcomp-dev'
 
 dependencies:
 - opam:
     name: coq-mathcomp-ssreflect
-    version: '{ (>= "1.13.0" & < "1.17~") | = "dev" }'
+    version: '{ (>= "2.0.0" & < "2.3~") | = "dev" }'
   description: |-
-    [MathComp ssreflect 1.13 and later](https://math-comp.github.io)
+    [MathComp ssreflect 2.0 and later](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-fingroup
   description: |-
-    [MathComp fingroup 1.13 and later](https://math-comp.github.io)
+    [MathComp fingroup](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-algebra
   description: |-
-    [MathComp algebra 1.13 and later](https://math-comp.github.io)
+    [MathComp algebra](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-solvable
   description: |-
-    [MathComp solvable 1.13 and later](https://math-comp.github.io)
+    [MathComp solvable](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-field
   description: |-
-    [MathComp field 1.13 and later](https://math-comp.github.io)
+    [MathComp field](https://math-comp.github.io)
 - opam:
     name: coq-mathcomp-real-closed
-    version: '{ (>= "1.1.1") | = "dev" }'
+    version: '{ (>= "2.0.0") | = "dev" }'
   description: |-
-    [MathComp real closed >= 1.1.1](https://github.com/math-comp/real-closed)
+    [MathComp real closed >= 2.0.0](https://github.com/math-comp/real-closed)
 namespace: Abel
 
 keywords: