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

%NAME%
yosys

%BASE%
yosys

%VERSION%
0.66-1

%DESC%
A framework for RTL synthesis

%CSIZE%
28491382

%ISIZE%
121292473

%SHA256SUM%
7e2665d1c7a375022b93b5e651994d99efd96b0221225df0245d153f35e24842

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo3zkoACgkQeGxj8zDXy5IsDQ/8CTPKmbkPfU9LgaB+5iATfJriHQQe0RKqS7ICKuh1fVmzGokSvsRl3z+5pHLFO/+fkHXQ0uVWqVkPhrqx07ADP3fUcqdQ1w0oF/hbkm2CO26BUr796Np9HSa/nF2D1Sw9y7PrfAWjeH+eAjEfYUCDkILdqGHnHAXvetWy6+i2Y5yK5vXHWdrr9xakFbT28OfoSakcPj3JEyW52wJJGnGTVqBTnBOt7mbOv2lG/AEYrF4u2c9u5G3tZ5WbuZpZ8bcVWcUJw5Q8fgEmYWQ6DF3f1du44kHumULHPtu22T6+vhNWPvFIbYLUGFdP3c0sedD38kOVSNEdN+VJJyFX1st209A7X+RPdLgTnPf+S0QriFrUD9pGiyLxdg3HMMqVSg+j9PFexusmjGtrPmoaAfz7IvIryJvAVnNlOW5nzToPgiB3l7JeUV4amMsoOSH7tNTj+JYOh9g/ySDGGPH86Mv+jVFSNndwVwp6up/GgnwUQTiNVlz4Xd/DDEe32WLZzRmjEKk7gzhEYzKN2Y8zmvJn+U5SXalnfJf65rvSc7HLEZelHvyV5mKM95CndnicEvBWOssERrLfqrYfDidN1jkrVe/tX2UIlmwAZIqPXmAa0EEzxPxD63SffAyg0f9ojuFw/5dfxXtqFDHEBrC8ooKFhmSpjTQY/35BAmTFT3BwU90=

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

%LICENSE%
ISC

%ARCH%
x86_64

%BUILDDATE%
1782040050

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
abc
bash
glibc
libffi
libgcc
python
protobuf
readline
tcl
zlib
libstdc++

%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
pybind11
python-cxxheaderparser

%CHECKDEPENDS%
gmock
iverilog
gtkwave

