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

%NAME%
yosys

%BASE%
yosys

%VERSION%
0.37-1

%DESC%
A framework for RTL synthesis

%CSIZE%
77127968

%ISIZE%
327476670

%MD5SUM%
432d3346d62b8306980a6821fddba264

%SHA256SUM%
fad21122e10cfa728dae6a0029650bbefcc6c35d9c77d9a1c3c0b42ecef8f273

%PGPSIG%
iQEzBAABCAAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAmW+XdYACgkQek52CV2KUuQLoAf+Nw9SnmsWSmCSXcDHts6cC7wUjCM2pNGxwnl8/ee76IooqEHODloY414h0PC/MdvMUG/KjompH5vQcEq/6FtNP6c92c2Y2lYmSBhpMVm8Pb2hJ08/NP9QqXWa4Sj9P9hUezWxOApYm/cOgpvwfqJaQ7LqI4JDJphDjLAQ9jNgtAshJLRaCYC5KAxzOtWtDxf7pqlvJ623GhQLuL8UrnU3tHSWY3L2pSgkej7Ix0bWffrIiO52c8qt/E1HPexuXgFk9ctYj+10FSiTHOoHfFnhGjc3qMXEL7s31za0BdQWUOpjzkLykTbIzVfz82CId/SwbSA44+6jjONfUt3GT2PIkw==

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

%LICENSE%
custom:ISC

%ARCH%
x86_64

%BUILDDATE%
1706974100

%PACKAGER%
Antonio Rojas <arojas@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

%CHECKDEPENDS%
iverilog

