update boilerplate for 8.17 and beyond

.github/workflows/docker-action.yml

@@ -17,10 +17,10 @@ jobs:
     strategy:
       matrix:
         image:
+          - 'coqorg/coq:dev'
           - 'coqorg/coq:8.16'
           - 'coqorg/coq:8.15'
           - 'coqorg/coq:8.14'
-          - 'coqorg/coq:8.13'
       fail-fast: false
     steps:
       - uses: actions/checkout@v2

README.md

@@ -36,7 +36,7 @@ the MSet library.
   - Pierre Letouzey ([**@letouzey**](https://github.com/letouzey))
   - Karl Palmskog ([**@palmskog**](https://github.com/palmskog))
 - License: [GNU Lesser General Public License v2.1](LICENSE)
-- Compatible Coq versions: 8.13 to 8.16
+- Compatible Coq versions: 8.14 and later
 - Additional dependencies: none
 - Coq namespace: `MMaps`
 - Related publication(s): none

coq-mmaps.opam

@@ -20,7 +20,7 @@ the MSet library."""
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {>= "8.13" & < "8.17~"}
+  "coq" {>= "8.14"}
 ]
 
 tags: [

meta.yml

@@ -33,14 +33,14 @@ license:
   identifier: LGPL-2.1-only
 
 supported_coq_versions:
-  text: 8.13 to 8.16
-  opam: '{>= "8.13" & < "8.17~"}'
+  text: 8.14 and later
+  opam: '{>= "8.14"}'
 
 tested_coq_opam_versions:
+- version: 'dev'
 - version: '8.16'
 - version: '8.15'
 - version: '8.14'
-- version: '8.13'
 
 namespace: MMaps