Merge pull request #110 from Zimmi48/compat-with-8.15

Test compatibility with Coq versions up to 8.15.

Author: Zimmi48

.github/workflows/docker-action.yml

@@ -18,6 +18,8 @@ jobs:
       matrix:
         image:
           - 'coqorg/coq:dev'
+          - 'coqorg/coq:8.15'
+          - 'coqorg/coq:8.14'
           - 'coqorg/coq:8.13'
           - 'coqorg/coq:8.12'
           - 'coqorg/coq:8.11'
@@ -33,6 +35,11 @@ jobs:
         with:
           opam_file: 'coq-math-classes.opam'
           custom_image: ${{ matrix.image }}
+          before_install: |
+            startGroup "Setup and print opam config"
+              opam repo -a --set-default add coq-extra-dev https://coq.inria.fr/opam/extra-dev
+              opam config list; opam repo list; opam list
+            endGroup
 
 # See also:
 # https://github.com/coq-community/docker-coq-action#readme

coq-math-classes.opam

@@ -7,7 +7,7 @@ dev-repo: "git+https://github.com/coq-community/math-classes.git"
 bug-reports: "https://github.com/coq-community/math-classes/issues"
 license: "MIT"
 
-synopsis: "A library of abstract interfaces for mathematical structures in Coq."
+synopsis: "A library of abstract interfaces for mathematical structures in Coq"
 description: """
 Math classes is a library of abstract interfaces for mathematical
 structures, such as:
@@ -30,7 +30,7 @@ build: [
 ]
 install: [make "install"]
 depends: [
-  "coq" {(>= "8.6" & < "8.14~") | (= "dev")}
+  "coq" {(>= "8.6" & < "8.16~") | (= "dev")}
   "coq-bignums" 
 ]
 

meta.yml

@@ -8,7 +8,7 @@ ci_extra_dev: true
 doi: 10.1017/S0960129511000119
 
 synopsis: >-
-  A library of abstract interfaces for mathematical structures in Coq.
+  A library of abstract interfaces for mathematical structures in Coq
 
 description: |
   Math classes is a library of abstract interfaces for mathematical
@@ -50,10 +50,12 @@ license:
 
 supported_coq_versions:
   text: Coq 8.6 or later (use releases for other Coq versions)
-  opam: '{(>= "8.6" & < "8.14~") | (= "dev")}'
+  opam: '{(>= "8.6" & < "8.16~") | (= "dev")}'
 
 tested_coq_opam_versions:
 - version: dev
+- version: "8.15"
+- version: "8.14"
 - version: "8.13"
 - version: "8.12"
 - version: "8.11"