adjust boilerplate for compatibility

.github/workflows/docker-action.yml

@@ -20,12 +20,6 @@ jobs:
           - 'coqorg/coq:dev'
           - 'coqorg/coq:8.18'
           - 'coqorg/coq:8.17'
-          - 'coqorg/coq:8.16'
-          - 'coqorg/coq:8.15'
-          - 'coqorg/coq:8.14'
-          - 'coqorg/coq:8.13'
-          - 'coqorg/coq:8.12'
-          - 'coqorg/coq:8.11'
       fail-fast: false
     steps:
       - uses: actions/checkout@v3

README.md

@@ -39,7 +39,7 @@ and complex analysis.
 - Coq-community maintainer(s):
   - Jean-Marie Madiot ([**@jmadiot**](https://github.com/jmadiot))
 - License: [GNU Lesser General Public License v3.0 only](LICENSE)
-- Compatible Coq versions: 8.11 or later
+- Compatible Coq versions: 8.17 or later
 - Additional dependencies: none
 - Coq namespace: `Coqtail`
 - Related publication(s): none

coq-coqtail.opam

@@ -19,7 +19,7 @@ and complex analysis."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {>= "8.11"}
+  "coq" {>= "8.17"}
 ]
 
 tags: [

meta.yml

@@ -34,8 +34,8 @@ license:
   identifier: LGPL-3.0-only
 
 supported_coq_versions:
-  text: 8.11 or later
-  opam: '{>= "8.11"}'
+  text: 8.17 or later
+  opam: '{>= "8.17"}'
 
 tested_coq_nix_versions:
 - coq_version: 'master'
@@ -44,12 +44,6 @@ tested_coq_opam_versions:
 - version: dev
 - version: '8.18'
 - version: '8.17'
-- version: '8.16'
-- version: '8.15'
-- version: '8.14'
-- version: '8.13'
-- version: '8.12'
-- version: '8.11'
 
 namespace: Coqtail