Merge pull request #103 from Zimmi48/test-back-8.6+

Start testing again from Coq 8.6.

Author: Zimmi48

.github/workflows/docker-action.yml

@@ -21,6 +21,11 @@ jobs:
           - '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'
+          - 'coqorg/coq:8.6'
       fail-fast: false
     steps:
       - uses: actions/checkout@v2

README.md

@@ -50,7 +50,7 @@ notations.
 - Coq-community maintainer(s):
   - Bas Spitters ([**@spitters**](https://github.com/spitters))
 - License: [MIT License](LICENSE)
-- Compatible Coq versions: Coq 8.11 or later (use releases for other Coq versions)
+- Compatible Coq versions: Coq 8.6 or later (use releases for other Coq versions)
 - Additional dependencies:
   - [BigNums](https://github.com/coq/bignums)
 - Coq namespace: `MathClasses`

coq-math-classes.opam

@@ -30,7 +30,7 @@ build: [
 ]
 install: [make "install"]
 depends: [
-  "coq" {(>= "8.11" & < "8.14~") | (= "dev")}
+  "coq" {(>= "8.6" & < "8.14~") | (= "dev")}
   "coq-bignums" 
 ]
 

meta.yml

@@ -49,14 +49,19 @@ license:
   identifier: MIT
 
 supported_coq_versions:
-  text: Coq 8.11 or later (use releases for other Coq versions)
-  opam: '{(>= "8.11" & < "8.14~") | (= "dev")}'
+  text: Coq 8.6 or later (use releases for other Coq versions)
+  opam: '{(>= "8.6" & < "8.14~") | (= "dev")}'
 
 tested_coq_opam_versions:
 - version: dev
 - version: "8.13"
 - version: "8.12"
 - version: "8.11"
+- version: "8.10"
+- version: "8.9"
+- version: "8.8"
+- version: "8.7"
+- version: "8.6"
 
 dependencies:
 - opam: