Merge pull request #410 from math-comp/CohenCyril-patch-1

Update Changelog.md
math-comp · Jan 10, 2024 · 8b1725c · 8b1725c
2 parents 494dd62 + eceaf91
commit 8b1725c
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/Changelog.md b/Changelog.md
@@ -2,6 +2,12 @@
 
 ## Unreleased
 
+## [1.7.0] - 2024-01-10
+
+Compatible with
+- Coq 8.18 with Coq-Elpi 2.0.0
+- Coq 8.19 with Coq-Elpi 2.0.1
+
 - **Removed** the `#[primitive_class]` attribute, making it the default.
 - **New** `HB.saturate` to saturate instances w.r.t. the current hierarchy
 - **Removed** the `#[infer]` attribute made obsolete by reverse coercions