master goes to 8.12

LPCIC · Jul 29, 2020 · 79e07d7 · 79e07d7
1 parent 3daedfb
commit 79e07d7
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -16,7 +16,7 @@ jobs:
     strategy:
       matrix:
         coq_version:
-          - '8.11'
+          - '8.12'
         ocaml_version:
           - 'minimal'
     steps:

diff --git a/Changelog.md b/Changelog.md
@@ -1,15 +1,15 @@
 # Changelog
 
-## [1.5.0] - 29-07-2020
-
-Requires Elpi 1.11 and Coq 8.11.
+## [1.5.1] - 29-07-2020
 
 Requires Elpi 1.11 and Coq 8.12.
 
 ### API:
   Locality is now supported by `coq.CS.declare-instance`
 
-## UNRELEASED
+## [1.5.0] - 29-07-2020
+
+Requires Elpi 1.11 and Coq 8.11.
 
 ### HOAS
 - New option `@holes!` to be assumed (as in `@holes! => ...`) before

diff --git a/coq-elpi.opam b/coq-elpi.opam
@@ -12,7 +12,7 @@ build: [ make "COQBIN=%{bin}%/" "ELPIDIR=%{prefix}%/lib/elpi" ]
 install: [ make "install" "COQBIN=%{bin}%/" "ELPIDIR=%{prefix}%/lib/elpi" ]
 depends: [
   "elpi" {>= "1.11.0" & < "1.12.0~"}
-  "coq" {= "dev" }
+  "coq" {>= "8.12" & < "8.13~" }
   ]
 synopsis: "Elpi extension language for Coq"
 description: """