Merge pull request #79 from proux01/mc1170

[CI] Add MathComp 1.17.0
coq-community · May 17, 2023 · 84e6af9 · 84e6af9
2 parents 4aa6e03 + 3ce6a91
commit 84e6af9
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -17,13 +17,14 @@ jobs:
     strategy:
       matrix:
         image:
+          - 'mathcomp/mathcomp:1.17.0-coq-8.17'
+          - 'mathcomp/mathcomp:1.17.0-coq-8.16'
+          - 'mathcomp/mathcomp:1.17.0-coq-8.15'
           - 'mathcomp/mathcomp:1.16.0-coq-8.17'
           - 'mathcomp/mathcomp:1.16.0-coq-8.16'
           - 'mathcomp/mathcomp:1.16.0-coq-8.15'
           - 'mathcomp/mathcomp:1.15.0-coq-8.16'
           - 'mathcomp/mathcomp:1.15.0-coq-8.15'
-          - 'mathcomp/mathcomp:1.14.0-coq-8.15'
-          - 'mathcomp/mathcomp:1.13.0-coq-8.15'
           - 'mathcomp/mathcomp-dev:coq-dev'
           - 'mathcomp/mathcomp-dev:coq-8.17'
       fail-fast: false

diff --git a/coq-coqeal.opam b/coq-coqeal.opam
@@ -24,8 +24,8 @@ depends: [
   "coq" {(>= "8.15" & < "8.18~") | (= "dev")}
   "coq-bignums" 
   "coq-paramcoq" {>= "1.1.3"}
-  "coq-mathcomp-multinomials" {((>= "1.5.7" & < "1.7~") | = "dev")}
-  "coq-mathcomp-algebra" {((>= "1.13.0" & < "1.17~") | = "dev")}
+  "coq-mathcomp-multinomials" {((>= "1.6.0" & < "1.7~") | = "dev")}
+  "coq-mathcomp-algebra" {((>= "1.15.0" & < "1.18~") | = "dev")}
   "coq-mathcomp-real-closed" {(>= "1.1.2" & < "1.2~") | (= "dev")}
 ]