Date: Wed, 13 May 2026 07:05:05 +0000 From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: 4310daae1783 - main - cad/symbiyosys: update 0.=?utf-8?Q?63 =E2=86=92 0?=.65 Message-ID: <6a0422a1.1fb5b.45983821@gitrepo.freebsd.org>
index | next in thread | raw e-mail
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=4310daae1783953ce5712987a120c3e1b3c3c84a commit 4310daae1783953ce5712987a120c3e1b3c3c84a Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2026-05-13 06:17:48 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2026-05-13 07:04:57 +0000 cad/symbiyosys: update 0.63 → 0.65 --- cad/symbiyosys/Makefile | 2 +- cad/symbiyosys/distinfo | 6 +++--- cad/symbiyosys/pkg-plist | 1 + 3 files changed, 5 insertions(+), 4 deletions(-) diff --git a/cad/symbiyosys/Makefile b/cad/symbiyosys/Makefile index d3617414cf93..e726601dd5c0 100644 --- a/cad/symbiyosys/Makefile +++ b/cad/symbiyosys/Makefile @@ -1,6 +1,6 @@ PORTNAME= symbiyosys DISTVERSIONPREFIX= v -DISTVERSION= 0.63 +DISTVERSION= 0.65 CATEGORIES= cad MAINTAINER= yuri@FreeBSD.org diff --git a/cad/symbiyosys/distinfo b/cad/symbiyosys/distinfo index 3c29f16096ba..e02ffa86f397 100644 --- a/cad/symbiyosys/distinfo +++ b/cad/symbiyosys/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1774427385 -SHA256 (YosysHQ-sby-v0.63_GH0.tar.gz) = 96ada7fd013a2d6c7381ea75419a00d20b847ab08d56147c3aa66e0ada8ca0d7 -SIZE (YosysHQ-sby-v0.63_GH0.tar.gz) = 176919 +TIMESTAMP = 1778652631 +SHA256 (YosysHQ-sby-v0.65_GH0.tar.gz) = 84ca322a603005a612ab1c2a83864b3119e5b69d5521c1575bf2b6be127207f7 +SIZE (YosysHQ-sby-v0.65_GH0.tar.gz) = 178478 diff --git a/cad/symbiyosys/pkg-plist b/cad/symbiyosys/pkg-plist index afe72cd803e5..1905d498ed24 100644 --- a/cad/symbiyosys/pkg-plist +++ b/cad/symbiyosys/pkg-plist @@ -6,6 +6,7 @@ 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_itp.py share/yosys/python3/sby_engine_smtbmc.py share/yosys/python3/sby_jobserver.py share/yosys/python3/sby_mode_bmc.pyhome | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?6a0422a1.1fb5b.45983821>