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

%NAME%
yosys

%BASE%
yosys

%VERSION%
0.21-1

%DESC%
A framework for RTL synthesis

%CSIZE%
6506687

%ISIZE%
50946890

%MD5SUM%
a5f2e7ee6d95ba37204726f25dd6af3a

%SHA256SUM%
c062eb89daab32a6e7daec728f4e4a109e81eb6a0671dd9ff95e96da820c154a

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmNYjNkACgkQeGxj8zDXy5LwAg//fDApgPipo9S+KDpqrrvokQux+VIGPhvZ+HuL7wQXp6so8UryuJBURJl9S3Vv/WyBffeifsOa9H8rjmydMOXzQamWvhacLqnZdzENhhX7CQ+3uNb9zwSchIJwT/6kfmyztgxXpp9mnzDEXfHXcqHEdmD5CtljuTGlpMf7VoKOt6jK4oCueHtnmr0gXICXGl8KAXVDIEJP9nDz8qYT931D7aiDbcyNRZ++dG6mQeNjQ1dQUg8eiFFP0OTtChF+8O9LPeo01zIgpbiFy1UW7DudCx7P/DNjU37QBQkRWCPIxUkDRM0L1o+MztnRIkNwBcfjmZJ0HWmZjDobufTmioRi6T81A5vkqP0EzXhv5CeSOINqb++cif6k9vg2cyb/ZVKWabkv1B90HVvRDtnSFnUWfMZYbLZTGbZnRW4vlI/QFrfcGUa1A4CIcb4PrgJXsrdvMn9ERA3LB5e0Uwwc5Zq7Y06sEQ1b22PIBdqKXuo59XcLtzQGN82Bx/K9aRCOOV91HN2B28fqDVHk2cCKdJJN48+HFq2Lo3UMeJhpPzevTS8vzQ2Fh/gDbgo9r1MtroI/AW/xbMh2XdeWZbhhYK8K9jcl8MjzY9AMwUZSIzqQr57apbeogoZSKoKTtKhmuNRY4H5Hlf21r4nUmot+TJhuF6oHLOdZFTTt28cCjioxmc0=

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

%LICENSE%
custom:ISC

%ARCH%
x86_64

%BUILDDATE%
1666747243

%PACKAGER%
Felix Yan <felixonmars@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

