Merge pull request #675 from LPCIC/gares-patch-1

release
LPCIC · Jul 30, 2024 · e9ea407 · e9ea407
2 parents e1ad7d8 + 3dc34c7
commit e9ea407
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/Changelog.md b/Changelog.md
@@ -1,7 +1,10 @@
-# unreleased
+# [2.2.3] - 30/07/2024
+
+Requires Elpi 1.19.2 and Coq 8.19 or Coq 8.20.
 
 ### API
 - New `coq.arguments.reset-simplification`
+- Change some speedup concerning universes
 
 # [2.2.2] - 15/07/2024