New release.

proux01 · Jan 16, 2024 · 3be9be8 · 3be9be8
1 parent 6cf3fd7
commit 3be9be8
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/NEWS.md b/NEWS.md
@@ -1,3 +1,8 @@
+Version 3.4.1
+-------------
+
+* ensured compatibility from Coq 8.12 to 8.19
+
 Version 3.4.0
 -------------
 

diff --git a/configure.in b/configure.in
@@ -1,4 +1,4 @@
-AC_INIT([Coquelicot], [3.4.0],
+AC_INIT([Coquelicot], [3.4.1],
         [Guillaume Melquiond <[email protected]>],
         [coquelicot])