diff --git a/cad/abc/Makefile b/cad/abc/Makefile
--- a/cad/abc/Makefile
+++ b/cad/abc/Makefile
@@ -1,8 +1,8 @@
 PORTNAME=	abc
-DISTVERSION=	g20241117
+DISTVERSION=	g20251002
 CATEGORIES=	cad
 
-MAINTAINER=	uddka@student.kit.edu
+MAINTAINER=	alven@FreeBSD.org
 COMMENT=	System for sequential synthesis and verification
 WWW=		https://people.eecs.berkeley.edu/~alanmi/abc/
 
@@ -14,17 +14,18 @@
 USES=		cmake
 USE_GITHUB=	yes
 GH_ACCOUNT=	berkeley-abc
-GH_TAGNAME=	1f3cf0a
+GH_TAGNAME=	c8eac759
 USE_LDCONFIG=	yes
 
 CMAKE_ON=	ABC_SKIP_TESTS
 
 BINARY_ALIAS=	make=${GMAKE}
 
-PLIST_FILES=	bin/${PORTNAME} lib/lib${PORTNAME}.so
+PLIST_FILES=	bin/${PORTNAME} \
+		lib/lib${PORTNAME}.so
 
-OPTIONS_DEFINE=			READLINE THREADS
-OPTIONS_DEFAULT=		READLINE THREADS
+OPTIONS_DEFINE=		READLINE THREADS
+OPTIONS_DEFAULT=	READLINE THREADS
 
 READLINE_USES=			readline
 READLINE_CONFIGURE_ENV=		ABC_READLINE_LIBRARIES="-L${LOCALBASE}/lib -lreadline"
@@ -33,7 +34,9 @@
 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_PROGRAM} ${BUILD_WRKSRC}/lib${PORTNAME}.so ${STAGEDIR}${PREFIX}/lib
+	${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
--- a/cad/abc/distinfo
+++ b/cad/abc/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1731985503
-SHA256 (berkeley-abc-abc-g20241117-1f3cf0a_GH0.tar.gz) = 2c8056d27feba4b41df6b99d392ce7c6808e35a40cb35a2dc6bdc68be5683da0
-SIZE (berkeley-abc-abc-g20241117-1f3cf0a_GH0.tar.gz) = 6265866
+TIMESTAMP = 1760019084
+SHA256 (berkeley-abc-abc-g20251002-c8eac759_GH0.tar.gz) = 2a9a93508b5474e4fe99f910fcd9663c4ea096223b5d0001769946f07737a74d
+SIZE (berkeley-abc-abc-g20251002-c8eac759_GH0.tar.gz) = 7100730
diff --git a/cad/qflow/Makefile b/cad/qflow/Makefile
--- a/cad/qflow/Makefile
+++ b/cad/qflow/Makefile
@@ -1,5 +1,6 @@
 PORTNAME=	qflow
 DISTVERSION=	1.4.104
+PORTREVISION=	1
 CATEGORIES=	cad
 
 MAINTAINER=	yuri@FreeBSD.org
diff --git a/cad/yosys/Makefile b/cad/yosys/Makefile
--- a/cad/yosys/Makefile
+++ b/cad/yosys/Makefile
@@ -1,6 +1,7 @@
 PORTNAME=	yosys
 DISTVERSIONPREFIX=	v
 DISTVERSION=	0.57
+PORTREVISION=	1
 CATEGORIES=	cad
 
 MAINTAINER=	yuri@FreeBSD.org