diff --git a/math/yices/Makefile b/math/yices/Makefile
index 264e19c78cfc..3504a67f2473 100644
--- a/math/yices/Makefile
+++ b/math/yices/Makefile
@@ -1,36 +1,36 @@
 PORTNAME=	yices
+DISTVERSIONPREFIX=	${PORTNAME}-
 DISTVERSION=	2.7.0
-PORTREVISION=	1
+PORTREVISION=	2
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	SMT solver
 WWW=		https://yices.csl.sri.com/ \
 		https://github.com/SRI-CSL/yices2/
 
 LICENSE=	GPLv3+
 LICENSE_FILE=	${WRKSRC}/LICENSE.txt
 
 BUILD_DEPENDS=	gperf:devel/gperf
 LIB_DEPENDS=	libgmp.so:math/gmp
 
 USES=		autoreconf compiler:c11 gmake localbase
 USE_GITHUB=	yes
 GH_ACCOUNT=	SRI-CSL
 GH_PROJECT=	yices2
-GH_TAGNAME=	yices-${DISTVERSION}
 USE_LDCONFIG=	yes
 
 GNU_CONFIGURE=	yes
 CONFIGURE_ARGS=	--with-pic-gmp=${LOCALBASE}/lib/libgmp.so
 
 MAKE_ARGS=	YICES_MAKE_INCLUDE=configs/make.include.${CONFIGURE_TARGET}
 TEST_TARGET=	test
 
 CFLAGS+=	-fPIC
 PIE_UNSAFE=	yes
 
 post-install: # strip binaries
 	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/*
 
 .include <bsd.port.mk>
diff --git a/math/yices/distinfo b/math/yices/distinfo
index 3fbfac6dd2ce..fbe526daa567 100644
--- a/math/yices/distinfo
+++ b/math/yices/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1758486511
-SHA256 (SRI-CSL-yices2-2.7.0-yices-2.7.0_GH0.tar.gz) = 584db72abf6643927b2c3ba98ff793f602216b452b8ff2f34a8851d35904804a
-SIZE (SRI-CSL-yices2-2.7.0-yices-2.7.0_GH0.tar.gz) = 10461165
+TIMESTAMP = 1758542030
+SHA256 (SRI-CSL-yices2-yices-2.7.0_GH0.tar.gz) = 584db72abf6643927b2c3ba98ff793f602216b452b8ff2f34a8851d35904804a
+SIZE (SRI-CSL-yices2-yices-2.7.0_GH0.tar.gz) = 10461165