From 38cfe670448c90406fb72ff40526ad4d08b75319 Mon Sep 17 00:00:00 2001
From: Damien Pous <damien.pous@ens-lyon.fr>
Date: Fri, 20 Oct 2023 13:01:11 +0200
Subject: [PATCH] CHANGELOG for 1.7.10

---
 CHANGELOG                 | 4 ++++
 coq-relation-algebra.opam | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG b/CHANGELOG
index cdad399..0bfd245 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,7 @@
+== RelationAlgebra 1.7.10  (2024, October 20th) ==
+
+- compatibility with Coq 8.18
+
 == RelationAlgebra 1.7.9  (2023, March 17th) ==
 
 - compatibility with Coq 8.17
diff --git a/coq-relation-algebra.opam b/coq-relation-algebra.opam
index b702872..566f867 100644
--- a/coq-relation-algebra.opam
+++ b/coq-relation-algebra.opam
@@ -11,7 +11,7 @@ license: "LGPL-3.0-or-later"
 depends: [
   "ocaml"
 #TO SET BEFORE RELEASE
-  "coq" {>= "8.17"}
+  "coq" {>= "8.18"}
 #  "coq" {>= "8.16" & < "8.17~"}
 #TO REMOVE BEFORE RELEASE (TO MAKE THEM OPTIONAL)
   "coq-mathcomp-ssreflect"