diff --git a/VERSION b/VERSION index fee2d3e48a..91aa820ada 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -3.1.0-dev \ No newline at end of file +3.2.0-dev \ No newline at end of file diff --git a/configure.ac b/configure.ac index 1b5a03270d..ed556e2d6c 100644 --- 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 index 01d99a4678..df704c27b4 100644 --- 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),