diff --git a/math/kissat/Makefile b/math/kissat/Makefile
index ff4981cba4de..6a526db40da6 100644
--- a/math/kissat/Makefile
+++ b/math/kissat/Makefile
@@ -1,43 +1,43 @@
 PORTNAME=	kissat
 DISTVERSIONPREFIX=	rel-
-DISTVERSION=	4.0.0
+DISTVERSION=	4.0.1
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Kissat SAT Solver
 WWW=		http://fmv.jku.at/kissat/
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
 USES=		gmake
 USE_LDCONFIG=	yes
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	arminbiere
 
 GNU_CONFIGURE=	yes
 CONFIGURE_ARGS=	--shared --kitten --statistics
 
 MAKEFILE=	makefile
 
 TEST_TARGET=	test
 
 PLIST_FILES=	bin/kissat \
 		bin/kitten \
 		include/${PORTNAME}/kissat.h \
 		lib/libkissat.a \
 		lib/libkissat.so
 
 do-install:
 	# executables
 	${INSTALL_PROGRAM} ${WRKSRC}/build/kissat ${STAGEDIR}${PREFIX}/bin
 	${INSTALL_PROGRAM} ${WRKSRC}/build/kitten ${STAGEDIR}${PREFIX}/bin
 	# header
 	${MKDIR} ${STAGEDIR}${PREFIX}/include/${PORTNAME}
 	${INSTALL_DATA} ${WRKSRC}/src/kissat.h ${STAGEDIR}${PREFIX}/include/${PORTNAME}
 	# libs
 	${INSTALL_LIB} ${WRKSRC}/build/libkissat.so ${STAGEDIR}${PREFIX}/lib
 	${INSTALL_DATA} ${WRKSRC}/build/libkissat.a ${STAGEDIR}${PREFIX}/lib
 
 .include <bsd.port.mk>
diff --git a/math/kissat/distinfo b/math/kissat/distinfo
index 0c5cc8e11b94..d7a93260271c 100644
--- a/math/kissat/distinfo
+++ b/math/kissat/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1722240959
-SHA256 (arminbiere-kissat-rel-4.0.0_GH0.tar.gz) = e04b37adf89ee6295ddc9756f9e5c35a98aa0aa6c01656bd282494e297fc7543
-SIZE (arminbiere-kissat-rel-4.0.0_GH0.tar.gz) = 531130
+TIMESTAMP = 1726456259
+SHA256 (arminbiere-kissat-rel-4.0.1_GH0.tar.gz) = 4b41edf12ffa5f8e8b1986e5ad3e0bedb4d34b0ed3ecc7c13362bc7ba0aba66b
+SIZE (arminbiere-kissat-rel-4.0.1_GH0.tar.gz) = 531537