Update Changelog.md

LPCIC · Aug 27, 2022 · e4bf0b0 · e4bf0b0
1 parent 79176b7
commit e4bf0b0
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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