diff --git a/math/cryptominisat/Makefile b/math/cryptominisat/Makefile
index f325f044f788..77292c44893c 100644
--- a/math/cryptominisat/Makefile
+++ b/math/cryptominisat/Makefile
@@ -1,26 +1,25 @@
 PORTNAME=	cryptominisat
-DISTVERSION=	5.11.11
-PORTREVISION=	1
+DISTVERSION=	5.11.15
 CATEGORIES=	math
 
 MAINTAINER=	arrowd@FreeBSD.org
 COMMENT=	General-purpose award-winning SAT solver
 WWW=		https://github.com/msoos/cryptominisat
 
 LICENSE=	MIT LGPL21
 LICENSE_COMB=	multi
 LICENSE_FILE_LGPL21=	${WRKSRC}/LICENSE.txt
 LICENSE_FILE_MIT=	${WRKSRC}/LICENSE.txt
 
 LIB_DEPENDS=	libm4ri.so:math/m4ri \
 		libboost_program_options.so:devel/boost-libs
 
 USES=		cmake compiler:c++11-lib
 USE_LDCONFIG=	yes
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	msoos
 
 CMAKE_OFF=	ENABLE_PYTHON_INTERFACE
 
 .include <bsd.port.mk>
diff --git a/math/cryptominisat/distinfo b/math/cryptominisat/distinfo
index 14d72ab917ac..0b600365a921 100644
--- a/math/cryptominisat/distinfo
+++ b/math/cryptominisat/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1688199521
-SHA256 (msoos-cryptominisat-5.11.11_GH0.tar.gz) = 20efedfab285293eb8c9804939b5298e43071489c8b09e135e118aec54f682bc
-SIZE (msoos-cryptominisat-5.11.11_GH0.tar.gz) = 1012869
+TIMESTAMP = 1703881075
+SHA256 (msoos-cryptominisat-5.11.15_GH0.tar.gz) = b2ee17e7a5c6e6843420230215b6c70923b6955f3bef1e443c40555fc59510b0
+SIZE (msoos-cryptominisat-5.11.15_GH0.tar.gz) = 968163