bump version to 3.2.0-dev

flintlib · Feb 25, 2024 · 120cc29 · 120cc29
1 parent 6f074b0
commit 120cc29
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/VERSION b/VERSION
@@ -1 +1 @@
-3.1.0-dev
+3.2.0-dev
diff --git a/configure.ac b/configure.ac
@@ -70,9 +70,10 @@ AC_LANG(C)
 # 2.9.0 => 17.0.0
 # 3.0.0 => 18.0.0
 # 3.1.0 => 19.0.0
+# 3.2.0 => 20.0.0
 
 # NOTE: This must be after AC_INIT
-FLINT_MAJOR_SO=19
+FLINT_MAJOR_SO=20
 FLINT_MINOR_SO=0
 FLINT_PATCH_SO=0
 

diff --git a/doc/source/history.rst b/doc/source/history.rst
@@ -6,7 +6,7 @@ History and changes
 FLINT version history
 :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::
 
-2024 -- FLINT 3.1.0-dev
+2024-02-25 -- FLINT 3.1.0
 -------------------------------------------------------------------------------
 
 Main contributors: Fredrik Johansson (FJ), Albin Ahlbäck (AA),