CHANGELOG for 1.7.10

damien-pous · Oct 20, 2023 · 38cfe67 · 38cfe67
1 parent 3f44be5
commit 38cfe67
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git 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
@@ -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"