From 7453ef89741731f86e973d86a383ac6994c4763c Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Mon, 21 Aug 2023 16:38:35 +0200
Subject: [PATCH] Adapt to Coq 8.18

---
 .github/workflows/docker-action.yml |  6 +++---
 README.md                           |  4 ++--
 coq-paramcoq.opam                   |  4 ++--
 meta.yml                            | 10 +++++-----
 4 files changed, 12 insertions(+), 12 deletions(-)

diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
index c090bae..69a1995 100644
--- a/.github/workflows/docker-action.yml
+++ b/.github/workflows/docker-action.yml
@@ -5,7 +5,7 @@ name: Docker CI
 on:
   push:
     branches:
-      - master
+      - v8.18
   pull_request:
     branches:
       - '**'
@@ -17,10 +17,10 @@ jobs:
     strategy:
       matrix:
         image:
-          - 'coqorg/coq:dev'
+          - 'coqorg/coq:8.18'
       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'
diff --git a/README.md b/README.md
index bf3d751..93f849a 100644
--- a/README.md
+++ b/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.18
 [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.18 branch supports version 8.18 of Coq, see releases for compatibility with released versions of Coq
 - Additional dependencies: none
 - Coq namespace: `Param`
 - Related publication(s):
diff --git a/coq-paramcoq.opam b/coq-paramcoq.opam
index 1597b09..13098d8 100644
--- a/coq-paramcoq.opam
+++ b/coq-paramcoq.opam
@@ -3,7 +3,7 @@
 
 opam-version: "2.0"
 maintainer: "Pierre Roux <pierre.roux@onera.fr>"
-version: "dev"
+version: "8.18.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.18" & < "8.19~" }
 ]
 
 tags: [
diff --git a/meta.yml b/meta.yml
index f03a4f5..e35c02c 100644
--- a/meta.yml
+++ b/meta.yml
@@ -6,7 +6,7 @@ community: true
 action: true
 plugin: true
 doi: 10.4230/LIPIcs.CSL.2012.399
-branch: 'master'
+branch: 'v8.18'
 
 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.18 branch supports version 8.18 of Coq, see
     releases for compatibility with released versions of Coq
-  opam: '{= "dev" }'
+  opam: '{>= "8.18" & < "8.19~" }'
 
 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.18.dev'
 
 tested_coq_opam_versions:
-- version: 'dev'
+- version: '8.18'
 
 documentation: |-
   ## Usage and Commands