diff --git a/cad/abc/Makefile b/cad/abc/Makefile
index 553ef0cb235e..04094a829cf2 100644
--- a/cad/abc/Makefile
+++ b/cad/abc/Makefile
@@ -1,43 +1,44 @@
 PORTNAME=	abc
-DISTVERSION=	g202511104
+DISTVERSION=	g20251226
+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
 
 BUILD_DEPENDS=	gmake:devel/gmake
 
 USES=		cmake
 USE_GITHUB=	yes
 GH_ACCOUNT=	berkeley-abc
-GH_TAGNAME=	474e7fbe
+GH_TAGNAME=	91e806ff
 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 58e1e6d3d446..b5984a60366c 100644
--- a/cad/abc/distinfo
+++ b/cad/abc/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1762387632
-SHA256 (berkeley-abc-abc-g202511104-474e7fbe_GH0.tar.gz) = 6acb1a761ed3aca8b78e98177b8eac4ebef43d0522e9c7c69e6dca4fa8d73da9
-SIZE (berkeley-abc-abc-g202511104-474e7fbe_GH0.tar.gz) = 7128303
+TIMESTAMP = 1767084907
+SHA256 (berkeley-abc-abc-g20251226-91e806ff_GH0.tar.gz) = d0c2b67dee2b8181b8198611d9100ad676d664da89c6205ef5cdab318ffa3466
+SIZE (berkeley-abc-abc-g20251226-91e806ff_GH0.tar.gz) = 7277400