diff --git a/cad/abc/Makefile b/cad/abc/Makefile
index 5c8d4215bb49..4402aa4256e9 100644
--- a/cad/abc/Makefile
+++ b/cad/abc/Makefile
@@ -1,44 +1,44 @@
 PORTNAME=	abc
-DISTVERSION=	g20260516
+DISTVERSION=	g20260605
 PORTEPOCH=	1
 CATEGORIES=	cad
 
 MAINTAINER=	alven@FreeBSD.org
 COMMENT=	System for sequential synthesis and verification
 WWW=		https://people.eecs.berkeley.edu/~alanmi/abc/ \
 		https://github.com/berkeley-abc/abc/
 
 LICENSE=	MIT
 LICENSE_FILE=	${WRKSRC}/copyright.txt
 
 NOT_FOR_ARCHS=	armv7 i386
 NOT_FOR_ARCHS_REASON=	__int128 is not supported on this target
 
 BUILD_DEPENDS=	gmake:devel/gmake
 
 USES=		cmake
 USE_GITHUB=	yes
 GH_ACCOUNT=	berkeley-abc
-GH_TAGNAME=	7bf1177d
+GH_TAGNAME=	b7ee7a5f
 USE_LDCONFIG=	yes
 
 CMAKE_ON=	ABC_SKIP_TESTS
 
 BINARY_ALIAS=	make=${GMAKE}
 
 PLIST_FILES=	bin/${PORTNAME} \
 		lib/lib${PORTNAME}.so
 
 OPTIONS_DEFINE=		READLINE THREADS
 OPTIONS_DEFAULT=	READLINE THREADS
 
 READLINE_USES=			readline
 READLINE_CONFIGURE_ENV=		ABC_READLINE_LIBRARIES="-L${LOCALBASE}/lib -lreadline"
 READLINE_CONFIGURE_ENV_OFF=	ABC_USE_NO_READLINE=1
 THREADS_CONFIGURE_ENV_OFF=	ABC_USE_NO_PTHREADS=1
 
 do-install: # https://github.com/berkeley-abc/abc/issues/71
 	${INSTALL_PROGRAM} ${BUILD_WRKSRC}/${PORTNAME}   ${STAGEDIR}${PREFIX}/bin
 	${INSTALL_LIB} ${BUILD_WRKSRC}/lib${PORTNAME}.so ${STAGEDIR}${PREFIX}/lib
 
 .include <bsd.port.mk>
diff --git a/cad/abc/distinfo b/cad/abc/distinfo
index e77f3cc837c4..09827a07a639 100644
--- a/cad/abc/distinfo
+++ b/cad/abc/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1779053341
-SHA256 (berkeley-abc-abc-g20260516-7bf1177d_GH0.tar.gz) = 4a10eb805504c75f707726b316f48dd0497c8c1f7c5cc3772e4c47d944e784ed
-SIZE (berkeley-abc-abc-g20260516-7bf1177d_GH0.tar.gz) = 7387281
+TIMESTAMP = 1780877909
+SHA256 (berkeley-abc-abc-g20260605-b7ee7a5f_GH0.tar.gz) = d63271fcd0cbfb2ad2f0e078256ea8fcf6a79c2971a1cf19d6e7352de129dae7
+SIZE (berkeley-abc-abc-g20260605-b7ee7a5f_GH0.tar.gz) = 7398028