diff --git a/math/yices/Makefile b/math/yices/Makefile
index 6ddf4d053f73..9014014872e7 100644
--- a/math/yices/Makefile
+++ b/math/yices/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	yices
-DISTVERSION=	2.6.4
+DISTVERSION=	2.6.5
 CATEGORIES=	math
 MASTER_SITES=	https://yices.csl.sri.com/releases/${DISTVERSION}/
 DISTNAME=	${PORTNAME}-${DISTVERSION}-src
@@ -9,7 +9,7 @@ COMMENT=	SMT solver
 WWW=		https://yices.csl.sri.com/
 
 LICENSE=	GPLv3
-LICENSE_FILE=	${WRKSRC}/LICENSE.txt
+LICENSE_FILE=	${WRKSRC}/LICENSE
 
 BUILD_DEPENDS=	gperf:devel/gperf
 LIB_DEPENDS=	libgmp.so:math/gmp
@@ -23,7 +23,9 @@ CONFIGURE_ARGS=	--with-pic-gmp=${LOCALBASE}/lib/libgmp.so
 MAKE_ARGS=	YICES_MAKE_INCLUDE=configs/make.include.${CONFIGURE_TARGET}
 CFLAGS+=	-fPIC
 
-WRKSRC=		${WRKDIR}/yices2-Yices-${DISTVERSION}
+TEST_TARGET=	test # tests fail to compile, see https://github.com/SRI-CSL/yices2/issues/523
+
+WRKSRC=		${WRKDIR}/yices-${DISTVERSION}
 
 post-install: # strip binaries
 	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/*
diff --git a/math/yices/distinfo b/math/yices/distinfo
index b6a44230e350..fa5f5eebeed8 100644
--- a/math/yices/distinfo
+++ b/math/yices/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1643217873
-SHA256 (yices-2.6.4-src.tar.gz) = 533a24e020ecb7d64c03a965d598430d193651e2887e6f46924dec5786db78cb
-SIZE (yices-2.6.4-src.tar.gz) = 10186909
+TIMESTAMP = 1724046623
+SHA256 (yices-2.6.5-src.tar.gz) = b01aedb35af57c06006c147b2491162cc8974d6c5991914833dd6d827681399d
+SIZE (yices-2.6.5-src.tar.gz) = 6149050
diff --git a/math/yices/pkg-plist b/math/yices/pkg-plist
index fe8e6d0104c9..00c6178fd0c2 100644
--- a/math/yices/pkg-plist
+++ b/math/yices/pkg-plist
@@ -3,7 +3,6 @@ bin/yices_sat
 bin/yices_sat_new
 bin/yices_smt
 bin/yices_smt2
-bin/yices_smt2_mt
 bin/yices_smtcomp
 include/yices.h
 include/yices_exit_codes.h