preparing changelog for 1.8.1

math-comp · Jan 25, 2025 · 8327323 · 8327323
1 parent 7c84559
commit 8327323
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/Changelog.md b/Changelog.md
@@ -1,5 +1,13 @@
 # Changelog
 
+## [1.8.1] - 2025-01-25
+
+Compatible with
+- Coq 8.18 with Coq-Elpi 2.0.0
+- Coq 8.19 with Coq-Elpi 2.0.1
+- Coq 8.20 with Coq-Elpi 2.4.x
+- Rocq 9.0 with Coq-Elpi 2.4.x
+
 ## [1.8.0] - 2024-12-14
 
 Compatible with