%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn38UACgkQrx0hme8KPM+oGRAAtkNCi+W9WIj/VFGklxWGXUfMS5J2u8pquDzLM8ZJGe+IGyH5S29/y5wpz4hgfBh67ThWvg2so6gLvsFMXiyM5s7xTlGSvuEm6wpotZvcvsCjPcA3R6uPekv63OvN4vNTbH7X6cnLV/vs2beF16wokG236+9riKTqLt6qhgdEEaIFTgZMKaai2bl5pByrmRT5PspmYb9SSK788L2ruHc84RZDN0Prjxmcjm/IuMIhBmA6mCA5WSzlFH0uDaFOlCE0ALZbZY9sxlZX+sS6xU1pQ5w8ZrRxGLLt0/cE4VQDQppbFJvXebYM9SwHb1vSTeywUif+ILjROJNrwuCMYVT8GoJSaEHlDktubwDaS6m0NlrTUehR1lnFgjxIi2EdiH38neTp2cFevxWslusw9oWSLXYzMwtFQJs7oIaescWZGxLiLzQ22mnY4+qe5UrrIi8cnEdcuP6ILVBGbwq1XfKbv62FQuwHh8wgizC4ik5cyIkkXWTXsaHM8fR7bZvx/Kfkk4Lh7622F2tZWNU+AuQlyvVkH0ZWMSioOndGPBqvqkhIhDFEGhPNLEzEVdqGpVGonlOn1EUvQhfF0FlyzOYPwO+T5jrjHyOcI9YzdVwPzRMEhW9Ke/jXu5oL8JkbEWzN1xDKHUZyJvchP7eFX1+n7mUbGQTX5e3gHxew+q70Ghg=

%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

