Coq 8.13

Author: proux01

.github/workflows/coq-action.yml

@@ -3,7 +3,7 @@ name: CI
 on:
   push:
     branches:
-      - master
+      - v8.13
   pull_request:
     branches:
       - '**'
@@ -15,7 +15,7 @@ jobs:
     strategy:
       matrix:
         image:
-          - 'coqorg/coq:dev'
+          - 'coqorg/coq:8.13'
       fail-fast: false
     steps:
       - uses: actions/checkout@v2

README.md

@@ -6,7 +6,7 @@
 [![Zulip][zulip-shield]][zulip-link]
 [![DOI][doi-shield]][doi-link]
 
-[action-shield]: https://github.com/coq-community/paramcoq/workflows/CI/badge.svg?branch=master
+[action-shield]: https://github.com/coq-community/paramcoq/workflows/CI/badge.svg?branch=v8.13
 [action-link]: https://github.com/coq-community/paramcoq/actions?query=workflow%3ACI
 
 [contributing-shield]: https://img.shields.io/badge/contributions-welcome-%23f7931e.svg

coq-paramcoq.opam

@@ -1,6 +1,6 @@
 opam-version: "2.0"
 maintainer: "Pierre Roux <pierre.roux@onera.fr>"
-version: "dev"
+version: "1.1.2+coq8.13"
 
 homepage: "https://github.com/coq-community/paramcoq"
 dev-repo: "git+https://github.com/coq-community/paramcoq.git"
@@ -15,7 +15,7 @@ The plugin is still in an experimental state. It is not very user friendly (lack
 build: [make "-j%{jobs}%" ]
 install: [make "install"]
 depends: [
-  "coq" {= "dev" }
+  "coq" {>= "8.13" & < "8.14~"}
 ]
 
 tags: [