diff --git a/math/boolector/Makefile b/math/boolector/Makefile
index 53f83ee9bdf0..2450bea7df94 100644
--- a/math/boolector/Makefile
+++ b/math/boolector/Makefile
@@ -1,39 +1,38 @@
 PORTNAME=	boolector
-DISTVERSION=	3.2.3
-PORTREVISION=	1
+DISTVERSION=	3.2.4
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Satisfiability Modulo Theories (SMT) solver
 WWW=		https://boolector.github.io/
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/COPYING
 
 BUILD_DEPENDS=	${LOCALBASE}/lib/liblgl.a:math/lingeling
 LIB_DEPENDS=	libbtor2parser.so:math/btor2tools \
 		libcadical.so:math/cadical \
 		libcryptominisat5.so:math/cryptominisat \
 		libminisat.so:math/minisat \
 		libpicosat.so:math/picosat \
 		libgmp.so:math/gmp
 TEST_DEPENDS=	bash:shells/bash
 
 USES=		cmake:noninja,testing compiler:c++11-lang cpe python:build,test shebangfix
 
 CPE_VENDOR=	boolector_project
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	Boolector
 
 SHEBANG_GLOB=	*.sh
 
 CMAKE_ON=	BUILD_SHARED_LIBS \
 		USE_GMP
 CMAKE_OFF=	TESTING
 CMAKE_TESTING_ON=	TESTING # 1 test hangs, see https://github.com/Boolector/boolector/issues/227
 CMAKE_ARGS=	-DCaDiCaL_INCLUDE_DIR=${LOCALBASE}/include
 
 BINARY_ALIAS=	python=${PYTHON_CMD} python3=${PYTHON_CMD} # only for tests
 
 .include <bsd.port.mk>
diff --git a/math/boolector/distinfo b/math/boolector/distinfo
index 82ff383ccada..2c57e639c6f0 100644
--- a/math/boolector/distinfo
+++ b/math/boolector/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1699204051
-SHA256 (Boolector-boolector-3.2.3_GH0.tar.gz) = 9862134d33cb3ed0aeb6be3c9b154a4d0a90fd076f46ef97cf872813109cc5d9
-SIZE (Boolector-boolector-3.2.3_GH0.tar.gz) = 1566566
+TIMESTAMP = 1724577355
+SHA256 (Boolector-boolector-3.2.4_GH0.tar.gz) = 249c6dbf4e52ea6e8df1ddf7965d47f5c30f2c14905dce9b8f411756b05878bf
+SIZE (Boolector-boolector-3.2.4_GH0.tar.gz) = 1567983