ci: more Coq versions

.github/workflows/docker-action.yml

@@ -18,6 +18,12 @@ jobs:
       matrix:
         image:
           - 'coqorg/coq:dev'
+          - 'coqorg/coq:8.8'
+          - 'coqorg/coq:8.9'
+          - 'coqorg/coq:8.10'
+          - 'coqorg/coq:8.11'
+          - 'coqorg/coq:8.12'
+          - 'coqorg/coq:8.13'
           - 'coqorg/coq:8.14'
           - 'coqorg/coq:8.15'
           - 'coqorg/coq:8.16'

README.md

@@ -23,7 +23,7 @@ Inspired by Haskell Parsec library.
   - Li-yao Xia [<img src="https://zenodo.org/static/images/orcid.svg" height="14px" alt="ORCID logo" />](https://orcid.org/0000-0003-2673-4400)
   - Benjamin C. Pierce [<img src="https://zenodo.org/static/images/orcid.svg" height="14px" alt="ORCID logo" />](https://orcid.org/0000-0001-7839-1636)
 - License: [BSD 3-Clause "New" or "Revised" License](LICENSE)
-- Compatible Coq versions: 8.14 or later
+- Compatible Coq versions: 8.8 or later
 - Additional dependencies:
   - [Cérès](https://github.com/Lysxia/coq-ceres)
   - [ExtLib](https://coq-community.org/coq-ext-lib/)

coq-parsec.opam

@@ -17,9 +17,9 @@ Inspired by Haskell Parsec library."""
 build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
   "dune" {>= "3.6"}
-  "coq" { >= "8.14~" }
-  "coq-ceres" { >= "0.4.0" }
-  "coq-ext-lib" { >= "0.11.3" }
+  "coq" { >= "8.8~" }
+  "coq-ceres" 
+  "coq-ext-lib" 
 ]
 
 tags: [

meta.yml

@@ -29,11 +29,9 @@ dependencies:
   - description: '[Cérès](https://github.com/Lysxia/coq-ceres)'
     opam:
       name: coq-ceres
-      version: '{ >= "0.4.0" }'
   - description: '[ExtLib](https://coq-community.org/coq-ext-lib/)'
     opam:
       name: coq-ext-lib
-      version: '{ >= "0.11.3" }'
 dune: true
 categories:
   - name: Computer Science/Data Types and Data Structures
@@ -42,10 +40,16 @@ keywords:
 namespace: Parsec
 opam-file-maintainer: 'Yishuai Li <[email protected]>'
 supported_coq_versions:
-  text: 8.14 or later
-  opam: '{ >= "8.14~" }'
+  text: 8.8 or later
+  opam: '{ >= "8.8~" }'
 tested_coq_opam_versions:
   - version: 'dev'
+  - version: '8.8'
+  - version: '8.9'
+  - version: '8.10'
+  - version: '8.11'
+  - version: '8.12'
+  - version: '8.13'
   - version: '8.14'
   - version: '8.15'
   - version: '8.16'