Allow Coq 8.9

Author: liyishuai

.circleci/config.yml

@@ -60,6 +60,9 @@ workflows:
   version: 2
   test:
     jobs:
+    - build:
+        name: "Coq 8.9"
+        coq: "coqorg/coq:8.9"
     - build:
         name: "Coq 8.11"
         coq: "coqorg/coq:8.11"

README.md

@@ -33,7 +33,7 @@ A collection of theories and plugins that may be useful in other Coq development
   - Gregory Malecha ([**@gmalecha**](https://github.com/gmalecha))
   - Yishuai Li ([**@liyishuai**](https://github.com/liyishuai))
 - License: [BSD 2-Clause "Simplified" License](LICENSE)
-- Compatible Coq versions: Coq 8.8 or later
+- Compatible Coq versions: Coq 8.11 or later or 8.9
 - Additional dependencies: none
 - Coq namespace: `ExtLib`
 - Related publication(s): none

coq-ext-lib.opam

@@ -16,7 +16,7 @@ install: [
 ]
 depends: [
   "ocaml"
-  "coq" {>= "8.8"}
+  "coq" { >= "8.9" < "8.10" | >= "8.11" }
 ]
 synopsis: "A library of Coq definitions, theorems, and tactics"
 description: """

meta.yml

@@ -28,10 +28,11 @@ license:
   identifier: BSD-2-Clause
 
 supported_coq_versions:
-  text: Coq 8.8 or later
-  opam: '{ >= "8.8" }'
+  text: Coq 8.11 or later or 8.9
+  opam: '{ >= "8.9" < "8.10" | >= "8.11" }'
 
 tested_coq_opam_versions:
+  - version: '8.9'
   - version: '8.11'
   - version: '8.12'
   - version: '8.13'