diff --git a/cad/symbiyosys/Makefile b/cad/symbiyosys/Makefile index 7da40f31e387..d56090668787 100644 --- a/cad/symbiyosys/Makefile +++ b/cad/symbiyosys/Makefile @@ -1,26 +1,26 @@ PORTNAME= symbiyosys DISTVERSIONPREFIX= v -DISTVERSION= 0.58 +DISTVERSION= 0.60 CATEGORIES= cad MAINTAINER= yuri@FreeBSD.org COMMENT= SymbiYosys (sby): Front-end for Yosys-based formal verification flows WWW= https://yosyshq.readthedocs.io/projects/sby/en/latest/ \ https://github.com/YosysHQ/sby/ 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_ARCH= yes NO_BUILD= yes .include diff --git a/cad/symbiyosys/distinfo b/cad/symbiyosys/distinfo index b5fa30282bae..aa8ee21d7008 100644 --- a/cad/symbiyosys/distinfo +++ b/cad/symbiyosys/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1760047431 -SHA256 (YosysHQ-sby-v0.58_GH0.tar.gz) = c3436712b2922a0698aa735f94fd0ea6dc4df3a3f31fcc2003eea15d68c55475 -SIZE (YosysHQ-sby-v0.58_GH0.tar.gz) = 173654 +TIMESTAMP = 1764913407 +SHA256 (YosysHQ-sby-v0.60_GH0.tar.gz) = e5062e4635e5ed9e57049e8b15146a09cce4c631da0c704d11bf7d19d0b3c016 +SIZE (YosysHQ-sby-v0.60_GH0.tar.gz) = 173761