Merge pull request #20 from arthuraa/mathcomp-1.15

Include mathcomp 1.15.0 in supported versions.
arthuraa · Aug 9, 2022 · 19bfb6e · 19bfb6e
2 parents 6c24f1c + 0b1f2aa
commit 19bfb6e
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -78,12 +78,12 @@ jobs:
     docker:
     - image: coqorg/coq:8.14
 
-  coq-8-15-mathcomp-1-13-0:
+  coq-8-15-mathcomp-1-15-0:
     <<: *defaults
     steps:
     - startup
     - prepare:
-        mathcomp-version: '1.13.0'
+        mathcomp-version: '1.15.0'
     - build
     docker:
     - image: coqorg/coq:8.15
@@ -105,5 +105,5 @@ workflows:
     - coq-8-12-mathcomp-1-11-0
     - coq-8-13-mathcomp-1-13-0
     - coq-8-14-mathcomp-1-13-0
-    - coq-8-15-mathcomp-1-13-0
+    - coq-8-15-mathcomp-1-15-0
     - coq-dev
diff --git a/README.md b/README.md
@@ -82,7 +82,7 @@ In such cases, it is a good idea to keep the instance opaque (e.g. defined with
 
 - Coq 8.11 -- 8.15
 
-- `coq-mathcomp-ssreflect` 1.11 -- 1.13
+- `coq-mathcomp-ssreflect` 1.11 -- 1.15
 
 ## Installation