Coq 8.12

Author: proux01

.travis.yml

@@ -7,7 +7,7 @@ services:
 
 env:
   matrix:
-  - COQ_IMAGE="coqorg/coq:dev"
+  - COQ_IMAGE="coqorg/coq:8.12"
 
 install: |
   # Run the COQ container and display build metadata

Readme.md

@@ -1,7 +1,7 @@
 Paramcoq
 ========
 
-[![Build Status](https://travis-ci.com/coq-community/paramcoq.svg?branch=master)](https://travis-ci.com/coq-community/paramcoq/branches)
+[![Build Status](https://travis-ci.com/coq-community/paramcoq.svg?branch=v8.12)](https://travis-ci.com/coq-community/paramcoq/branches)
 
 The plugin is still in an experimental state. 
 It is not very user friendly (lack of good error messages) and still contains bugs. 

coq-paramcoq.opam

@@ -1,5 +1,5 @@
 opam-version: "2.0"
-version: "dev"
+version: "1.1.2+coq8.12"
 maintainer: "Pierre Roux <pierre.roux@onera.fr>"
 
 homepage: "https://github.com/coq-community/paramcoq"
@@ -10,7 +10,7 @@ license: "MIT"
 build: [make "-j%{jobs}%"]
 install: [make "install"]
 depends: [
-  "coq" {>= "8.10" & < "8.10~"}
+  "coq" {>= "8.12" & < "8.13~"}
 ]
 
 tags: [