diff --git a/math/kissat/Makefile b/math/kissat/Makefile
index 5b29e5c15f38..54ca8e503210 100644
--- a/math/kissat/Makefile
+++ b/math/kissat/Makefile
@@ -1,43 +1,43 @@
 PORTNAME=	kissat
 DISTVERSIONPREFIX=	rel-
-DISTVERSION=	3.1.0
+DISTVERSION=	3.1.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 1e28c6d91a28..22b0e7ae6e4a 100644
--- a/math/kissat/distinfo
+++ b/math/kissat/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1687668870
-SHA256 (arminbiere-kissat-rel-3.1.0_GH0.tar.gz) = e85c757179bf7d96d21d2d6e3f0a8f2337d416b0e13ae065a9a8d52e30048bd3
-SIZE (arminbiere-kissat-rel-3.1.0_GH0.tar.gz) = 470710
+TIMESTAMP = 1699206424
+SHA256 (arminbiere-kissat-rel-3.1.1_GH0.tar.gz) = ac7f50b4a345d9c9ae4fb7dcd7664c6e2512d99e4198de6f42aad9c008e7150a
+SIZE (arminbiere-kissat-rel-3.1.1_GH0.tar.gz) = 471004