close changelog

LPCIC · Jul 26, 2022 · 1d36933 · 1d36933
1 parent ce3d90c
commit 1d36933
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/Changelog.md b/Changelog.md
@@ -1,5 +1,14 @@
 # Changelog
 
+## [1.15.4] - 26-07-2022
+
+Requires Elpi 1.16.5 and Coq 8.16.
+
+- Fix lexical analysis inside quotations error location display
+- Fix drop of universe constraints attached to automatically generates
+  universe levels (eg when `sort (typ X)` is passed to Coq)
+- Fix nix CI
+
 ## [1.15.3] - 20-07-2022
 
 Requires Elpi 1.16.5 and Coq 8.16.