Adapt to Coq 8.17

Author: proux01

.github/workflows/docker-action.yml

@@ -5,7 +5,7 @@ name: Docker CI
 on:
  push:
  branches:
- - master
+ - v8.17
  pull_request:
  branches:
  - '**'
@@ -17,10 +17,10 @@ jobs:
  strategy:
  matrix:
  image:
- - 'coqorg/coq:dev'
+ - 'coqorg/coq:8.17'
  fail-fast: false
  steps:
- - uses: actions/checkout@v2
+ - uses: actions/checkout@v3
  - uses: coq-community/docker-coq-action@v1
  with:
  opam_file: 'coq-paramcoq.opam'

README.md

@@ -10,7 +10,7 @@ Follow the instructions on https://github.com/coq-community/templates to regener
 [![Zulip][zulip-shield]][zulip-link]
 [![DOI][doi-shield]][doi-link]
 
-[docker-action-shield]: https://github.com/coq-community/paramcoq/workflows/Docker%20CI/badge.svg?branch=master
+[docker-action-shield]: https://github.com/coq-community/paramcoq/workflows/Docker%20CI/badge.svg?branch=v8.17
 [docker-action-link]: https://github.com/coq-community/paramcoq/actions?query=workflow:"Docker%20CI"
 
 [contributing-shield]: https://img.shields.io/badge/contributions-welcome-%23f7931e.svg
@@ -45,7 +45,7 @@ is usable enough to "translate" a large chunk of the standard library.
 - Coq-community maintainer(s):
  - Pierre Roux ([**@proux01**](https://github.com/proux01))
 - License: [MIT License](LICENSE)
-- Compatible Coq versions: The master branch tracks the development version of Coq, see releases for compatibility with released versions of Coq
+- Compatible Coq versions: The v8.17 branch supports version 8.17 of Coq, see releases for compatibility with released versions of Coq
 - Additional dependencies: none
 - Coq namespace: `Param`
 - Related publication(s):

coq-paramcoq.opam

@@ -3,7 +3,7 @@
 
 opam-version: "2.0"
 maintainer: "Pierre Roux <pierre.roux@onera.fr>"
-version: "dev"
+version: "8.17.dev"
 
 homepage: "https://github.com/coq-community/paramcoq"
 dev-repo: "git+https://github.com/coq-community/paramcoq.git"
@@ -24,7 +24,7 @@ install: [
  [make "-C" "test-suite" "examples"] {with-test}
 ]
 depends: [
- "coq" {= "dev" }
+ "coq" {>= "8.17" & < "8.18~" }
 ]
 
 tags: [

meta.yml

@@ -6,7 +6,7 @@ community: true
 action: true
 plugin: true
 doi: 10.4230/LIPIcs.CSL.2012.399
-branch: 'master'
+branch: 'v8.17'
 
 synopsis: Plugin for generating parametricity statements to perform refinement proofs
 
@@ -43,9 +43,9 @@ license:
 
 supported_coq_versions:
  text: >-
- The master branch tracks the development version of Coq, see
+ The v8.17 branch supports version 8.17 of Coq, see
  releases for compatibility with released versions of Coq
- opam: '{= "dev" }'
+ opam: '{>= "8.17" & < "8.18~" }'
 
 categories:
 - name: 'Miscellaneous/Coq Extensions'
@@ -59,10 +59,10 @@ namespace: Param
 
 opam-file-maintainer: 'Pierre Roux <pierre.roux@onera.fr>'
 
-opam-file-version: 'dev'
+opam-file-version: '8.17.dev'
 
 tested_coq_opam_versions:
-- version: 'dev'
+- version: '8.17'
 
 documentation: |-
  ## Usage and Commands