diff --git a/cad/symbiyosys/Makefile b/cad/symbiyosys/Makefile index e726601dd5c0..a261edc6b9ce 100644 --- a/cad/symbiyosys/Makefile +++ b/cad/symbiyosys/Makefile @@ -1,26 +1,26 @@ PORTNAME= symbiyosys DISTVERSIONPREFIX= v -DISTVERSION= 0.65 +DISTVERSION= 0.66 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 e02ffa86f397..cbb47d2ff3ed 100644 --- a/cad/symbiyosys/distinfo +++ b/cad/symbiyosys/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1778652631 -SHA256 (YosysHQ-sby-v0.65_GH0.tar.gz) = 84ca322a603005a612ab1c2a83864b3119e5b69d5521c1575bf2b6be127207f7 -SIZE (YosysHQ-sby-v0.65_GH0.tar.gz) = 178478 +TIMESTAMP = 1780414279 +SHA256 (YosysHQ-sby-v0.66_GH0.tar.gz) = d7d3e0a6476e748c9faf23b93b133ce9a79ce396fb37dbaeec855af2f85a0b8c +SIZE (YosysHQ-sby-v0.66_GH0.tar.gz) = 178479