From 79e07d7df286537306fee7687ed86e7bdffd3925 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Wed, 29 Jul 2020 11:23:12 +0200
Subject: [PATCH] master goes to 8.12

---
 .github/workflows/main.yml | 2 +-
 Changelog.md               | 8 ++++----
 coq-elpi.opam              | 2 +-
 3 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 6692de014..5ed02bcb8 100644
--- 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
index 0b2572dea..b4fa33132 100644
--- 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
index 41b40796c..e24f49693 100644
--- 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: """