diff --git a/CMakeLists.txt b/CMakeLists.txt
index 532c08e30..a9a704c3d 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -10,7 +10,7 @@ cmake_minimum_required(VERSION 3.3)
 #-----------------------------------------------------------------------------#
 
 project(boolector)
-set(VERSION "3.2.3")
+set(VERSION "3.2.4")
 string(TIMESTAMP TIME)
 
 #-----------------------------------------------------------------------------#
diff --git a/NEWS b/NEWS
index ecdc3d4c8..44edea51c 100644
--- a/NEWS
+++ b/NEWS
@@ -1,4 +1,8 @@
-news since 3.2.3
+news for final release 3.2.4
+--------------------------------------------------------------------------------
+This is the final release of Boolector. Active development and maintenance has
+stopped.
+Boolector was succeeded by Bitwuzla (https://github.com/bitwuzla/bitwuzla).
 
 news for release 3.2.3 since 3.2.2
 --------------------------------------------------------------------------------
diff --git a/pypi/setup.py b/pypi/setup.py
index 723dacb7a..d0a4785da 100644
--- a/pypi/setup.py
+++ b/pypi/setup.py
@@ -16,7 +16,7 @@
 
 basedir = os.path.dirname(os.path.abspath(__file__))
 
-version="3.2.3"
+version="3.2.4"
 if os.path.isfile(os.path.join(basedir, "version.txt")):
     with open(os.path.join(basedir, "version.txt")) as fp:
         version = fp.read()