update boilerplate

.github/workflows/docker-action.yml

@@ -18,6 +18,8 @@ jobs:
       matrix:
         image:
           - 'coqorg/coq:dev'
+          - 'coqorg/coq:8.19'
+          - 'coqorg/coq:8.18'
           - 'coqorg/coq:8.17'
           - 'coqorg/coq:8.16'
           - 'coqorg/coq:8.15'

README.md

@@ -10,11 +10,11 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 [![Code of Conduct][conduct-shield]][conduct-link]
 [![Zulip][zulip-shield]][zulip-link]
 
-[docker-action-shield]: https://github.com/coq-community/jmlcoq/workflows/Docker%20CI/badge.svg?branch=master
-[docker-action-link]: https://github.com/coq-community/jmlcoq/actions?query=workflow:"Docker%20CI"
+[docker-action-shield]: https://github.com/coq-community/jmlcoq/actions/workflows/docker-action.yml/badge.svg?branch=master
+[docker-action-link]: https://github.com/coq-community/jmlcoq/actions/workflows/docker-action.yml
 
-[nix-action-shield]: https://github.com/coq-community/jmlcoq/workflows/Nix%20CI/badge.svg?branch=master
-[nix-action-link]: https://github.com/coq-community/jmlcoq/actions?query=workflow:"Nix%20CI"
+[nix-action-shield]: https://github.com/coq-community/jmlcoq/actions/workflows/nix-action.yml/badge.svg?branch=master
+[nix-action-link]: https://github.com/coq-community/jmlcoq/actions/workflows/nix-action.yml
 
 [contributing-shield]: https://img.shields.io/badge/contributions-welcome-%23f7931e.svg
 [contributing-link]: https://github.com/coq-community/manifesto/blob/master/CONTRIBUTING.md

coq-jmlcoq.opam

@@ -18,8 +18,8 @@ verified runtime assertion checker for JML."""
 
 build: ["dune" "build" "-p" name "-j" jobs]
 depends: [
-  "dune" {>= "2.5"}
-  "coq" {(>= "8.10" & < "8.18~") | (= "dev")}
+  "dune" {>= "3.5"}
+  "coq" {>= "8.10"}
 ]
 
 tags: [

dune-project

@@ -1,3 +1,3 @@
-(lang dune 2.5)
-(using coq 0.2)
-(name coq-jmlcoq)
+(lang dune 3.5)
+(using coq 0.6)
+(name jmlcoq)

meta.yml

@@ -47,13 +47,15 @@ license:
 
 supported_coq_versions:
   text: 8.10 or later
-  opam: '{(>= "8.10" & < "8.18~") | (= "dev")}'
+  opam: '{>= "8.10"}'
 
 tested_coq_nix_versions:
 - coq_version: 'master'
 
 tested_coq_opam_versions:
 - version: dev
+- version: '8.19'
+- version: '8.18'
 - version: '8.17'
 - version: '8.16'
 - version: '8.15'