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

%NAME%
yosys

%BASE%
yosys

%VERSION%
0.23-1

%DESC%
A framework for RTL synthesis

%CSIZE%
6330429

%ISIZE%
49156359

%MD5SUM%
c0d3fdac309a3b3bbcc112f639fd768d

%SHA256SUM%
e8b9d63d134730c35990b44cf350c704547412280785b5edad87d6b0cfab60d5

%PGPSIG%
iQEzBAABCAAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAmOLibwACgkQek52CV2KUuRHHgf6As5p4dVWxY1+NQelV26z68WTrLr2oftnuN4MLRWtY4R/nmalS0M7q6dfolL3OL5o31a5CL3fIoPyVFf9tMghSj/AKrA8selVGsSBJur+wTadBtW4jYmwj2eJDsFGSq1T8O2KMK+Pu/wJZgAhAZcYj2rppp3nhpLrbd3IWrX6pjFaUNDixhoIlj09L/4BeEjZxn1mAUyhwU4t84xK2Y8TmRcQjkQxmh4BRsGnklSGnl9/RnAxgYTRrmz71xSmuy4dG2dyKsDQ9KtMKXygu0MNc/A9ElU1v75ozdllDe4/sIViOBKHgvXHAKBezMElOu/sddOl40M9VQeCjDwNkHFXnA==

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

%LICENSE%
custom:ISC

%ARCH%
x86_64

%BUILDDATE%
1670088377

%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

