%FILENAME%
yosys-0.44-1-x86_64.pkg.tar.zst

%NAME%
yosys

%BASE%
yosys

%VERSION%
0.44-1

%DESC%
A framework for RTL synthesis

%CSIZE%
11504661

%ISIZE%
91861308

%SHA256SUM%
d04d11b4e8cb19efc5a7641e679160692715a383640ea2d47a70fcc8911a583d

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOsUACgkQrx0hme8KPM/B9Q//XHpdf+4Sr5xpsOtA8EMUg5VmxX31h7eE6jm6Xm89S/PvqtEAWhL0kgIekTOGW30yKIk1sLrWBqWkCFi0EFK9OM2ci2KaZdFt3kVb0WcNLl7aFJsdT9VpLBp2JaueGAFri5dLeaASa2hAPBSZSgkDLExUCn1hAm4Asne4F2FspExaeFhFtmAdLXGWtPoePyYu8EOD3PYhNYVXKz4ayJ3gS2Apa0BhjUn8zKJzULr7tHgep5yWbddi0lHMeHa5oca3Php8iL+71HG+2yFkmod5xN5jGauuNxzS9PtOfsSBsjgDqNRRgI6KDgp+oueHs8a+HV+nqbnP1mB0HAGSKEHrX/4QB1J3fCiS892lx1elYR6EJbDaQsKtuMPtC40N26dMzajv2hNProeDDIDPWyOlAgyiGrcrJpV3tVRE+oYMPnZzyBA0fuYgfhQaagxu+ccEO0B0VTSYpkUGFVwWy9Me6gkBJFrmpqYN0CmGmt1SDsOG7GI+5vj01FxAGyNk4COvrL4tzvFT+jxcwKMY0UmTVZXRKuYrJ15Wf6pKXehl4ijBP6ouCTocwDHDWHEPwM8MERr22zDPEgHBsO8vGs5LhIMN0wjKpfGz32qelJeHXNQ6q/ZGKLXVpOr1srgmnO7JhrGBSDp3yhM2qIRBEzH8dcfOipWHJZZxZyi2X3QR87I=

%URL%
https://yosyshq.net/yosys/

%LICENSE%
custom:ISC

%ARCH%
x86_64

%BUILDDATE%
1732014192

%PACKAGER%
Jelle van der Waa <jelle@archlinux.org>

%DEPENDS%
abc
bash
boost-libs
tcl
libffi
python
protobuf

%OPTDEPENDS%
graphviz: Schematics display support
xdot: Display netlists
yices: default solver for yosys-smtbmc
cvc4: alternative solver for yosys-smtbmc
z3: alternative solver for yosys-smtbmc

%MAKEDEPENDS%
boost
git

%CHECKDEPENDS%
iverilog

