Merge pull request #170 from Zimmi48/bump-coq-version

Remove compatibility with Coq < 8.11 and add testing for recent versions.

.github/workflows/docker-action.yml

@@ -18,13 +18,11 @@ 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'
-          - 'coqorg/coq:8.10'
-          - 'coqorg/coq:8.9'
-          - 'coqorg/coq:8.8'
-          - 'coqorg/coq:8.7'
       fail-fast: false
     steps:
       - uses: actions/checkout@v2

README.md

@@ -87,7 +87,7 @@ CoRN includes the following parts:
   - Bas Spitters ([**@spitters**](https://github.com/spitters))
   - Vincent Semeria ([**@vincentse**](https://github.com/vincentse))
 - License: [GNU General Public License v2](LICENSE)
-- Compatible Coq versions: Coq 8.7 or greater
+- Compatible Coq versions: Coq 8.11 or greater
 - Additional dependencies:
   - [Math-Classes](https://github.com/coq-community/math-classes) 8.8.1 or
 greater, which is a library of abstract interfaces for mathematical

coq-corn.opam

@@ -46,7 +46,7 @@ build: [
 ]
 install: [make "install"]
 depends: [
-  "coq" {(>= "8.7" & < "8.14~") | (= "dev")}
+  "coq" {(>= "8.11" & < "8.16~") | (= "dev")}
   "coq-math-classes" {(>= "8.8.1") | (= "dev")}
   "coq-bignums" 
 ]

meta.yml

@@ -79,18 +79,16 @@ license:
   identifier: GPL-2.0
 
 supported_coq_versions:
-  text: Coq 8.7 or greater
-  opam: '{(>= "8.7" & < "8.14~") | (= "dev")}'
+  text: Coq 8.11 or greater
+  opam: '{(>= "8.11" & < "8.16~") | (= "dev")}'
 
 tested_coq_opam_versions:
 - version: dev
+- version: "8.15"
+- version: "8.14"
 - version: "8.13"
 - version: "8.12"
 - version: "8.11"
-- version: "8.10"
-- version: "8.9"
-- version: "8.8"
-- version: "8.7"
 
 dependencies:
 - opam: