update changelog

LPCIC · Aug 21, 2020 · 2a9ddf1 · 2a9ddf1
1 parent a1abebb
commit 2a9ddf1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Changelog.md b/Changelog.md
@@ -2,6 +2,8 @@
 
 ## [1.6.0] - 21-08-2020
 
+Requires Elpi 1.11 and Coq 8.12.
+
 ### UIs
 - Display failures generated by `std.assert!` as errors