Try 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'
@@ -27,7 +33,7 @@ jobs:
           - 'coqorg/coq:8.20'
       fail-fast: false
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - uses: coq-community/docker-coq-action@v1
         with:
           opam_file: 'coq-parsec.opam'

README.md

@@ -23,11 +23,11 @@ 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/)
-  - [Dune](https://dune.build) 2.5 or later
+  - [Dune](https://dune.build) 3.6 or later
 - Coq namespace: `Parsec`
 - Related publication(s): none
 

coq-parsec.opam

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

meta.yml

@@ -42,10 +42,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'