From e4bf0b0b3e092b16c89b4e49d64523902fe24d13 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Sat, 27 Aug 2022 15:03:27 +0200
Subject: [PATCH] Update Changelog.md

---
 Changelog.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Changelog.md b/Changelog.md
index 118240f4f..35112ed39 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,6 +1,8 @@
 # Changelog
 
-## UNRELEASED
+## [1.15.6] - 27-08-2022
+
+Requires Elpi 1.16.5 and Coq 8.16.
 
 - Fix parse error location display for quotation code
 - Fix HOAS of inductives with non-uniform parameters