close changelog

LPCIC · Sep 24, 2021 · c7d5fd9 · c7d5fd9
1 parent a2c6c6b
commit c7d5fd9
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.11.1] - 24-09-2021
+
+Requires Elpi 1.13.6 and Coq 8.13.
 
 ### API
 - New `coq.env.informative?` to know if a type can be eliminated to build