diff --git a/cad/symbiyosys/Makefile b/cad/symbiyosys/Makefile
index c16841c83fb0..e24d98d0fb5c 100644
--- a/cad/symbiyosys/Makefile
+++ b/cad/symbiyosys/Makefile
@@ -1,27 +1,27 @@
 PORTNAME=	symbiyosys
 DISTVERSIONPREFIX=	yosys-
-DISTVERSION=	0.38
+DISTVERSION=	0.39
 CATEGORIES=	cad
 PKGNAMEPREFIX=
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	SymbiYosys (sby): Front-end for Yosys-based formal verification flows
 WWW=		https://yosyshq.readthedocs.io/projects/sby/en/latest/
 
 LICENSE=	ISCL
 LICENSE_FILE=	${WRKSRC}/COPYING
 
 RUN_DEPENDS=	yosys:cad/yosys
 
 USES=		gmake python shebangfix
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	YosysHQ
 GH_PROJECT=	sby
 
 SHEBANG_FILES=	sbysrc/sby.py
 
 NO_BUILD=	yes
 NO_ARCH=	yes
 
 .include <bsd.port.mk>
diff --git a/cad/symbiyosys/distinfo b/cad/symbiyosys/distinfo
index fefd3fdf98ba..7ba5e92d25fd 100644
--- a/cad/symbiyosys/distinfo
+++ b/cad/symbiyosys/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1707813072
-SHA256 (YosysHQ-sby-yosys-0.38_GH0.tar.gz) = 18ca42a0975d95bac4630dd9d2a1123082e28af14004c14b136f2b79909d9959
-SIZE (YosysHQ-sby-yosys-0.38_GH0.tar.gz) = 195507
+TIMESTAMP = 1710303351
+SHA256 (YosysHQ-sby-yosys-0.39_GH0.tar.gz) = 2fd23020565a1fe3fa3dd4a7b2d0f5238724816a701aba6db68956c3c14371ee
+SIZE (YosysHQ-sby-yosys-0.39_GH0.tar.gz) = 199829
diff --git a/cad/symbiyosys/pkg-plist b/cad/symbiyosys/pkg-plist
index 53b3868d7279..afe72cd803e5 100644
--- a/cad/symbiyosys/pkg-plist
+++ b/cad/symbiyosys/pkg-plist
@@ -1,15 +1,16 @@
 bin/sby
 share/yosys/python3/sby_autotune.py
 share/yosys/python3/sby_cmdline.py
 share/yosys/python3/sby_core.py
 share/yosys/python3/sby_design.py
 share/yosys/python3/sby_engine_abc.py
 share/yosys/python3/sby_engine_aiger.py
 share/yosys/python3/sby_engine_btor.py
 share/yosys/python3/sby_engine_smtbmc.py
 share/yosys/python3/sby_jobserver.py
 share/yosys/python3/sby_mode_bmc.py
 share/yosys/python3/sby_mode_cover.py
 share/yosys/python3/sby_mode_live.py
 share/yosys/python3/sby_mode_prove.py
 share/yosys/python3/sby_sim.py
+share/yosys/python3/sby_status.py