From eceaf91f8cc2fcc839154567e492fafc6045681a Mon Sep 17 00:00:00 2001
From: Cyril Cohen <CohenCyril@users.noreply.github.com>
Date: Wed, 10 Jan 2024 11:56:30 +0100
Subject: [PATCH] Update Changelog.md

---
 Changelog.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Changelog.md b/Changelog.md
index 1c12d44a..9be72b3e 100644
--- 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