1.7.8 release, for Coq 8.16

damien-pous · Sep 8, 2022 · 567ff37 · 567ff37
1 parent 25c5753
commit 567ff37
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/CHANGELOG b/CHANGELOG
@@ -1,3 +1,8 @@
+== RelationAlgebra 1.7.8  (2022, September 8th) ==
+
+- compatibility with Coq 8.16
+- minor fixes, including w.r.t. licensing issues
+
 == RelationAlgebra 1.7.7  (2022, March 22nd) ==
 
 - compatibility with Coq 8.15