%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAbsACgkQrx0hme8KPM+U8BAAxBTod/yL3c12GHS3n6eiWOwMU4BqvThv7zr0kyOc5FCFHb8+Vh2dRj9s3A2Nu37rk1gklvHE2WQhbpzY8RFxglGGp2wOFvvRjIv6AVCLJz/JH8yeTdpZWVURxMWGa5BjcPCr6YioIyAQNc6g3P8DUJDCTlkDun29/EAovpLapPdwvpzctaYsOdWgfW6f6XqLDJqeD3OUDFqVOF3ptbQ7lgpwkogqLUSf84R9PLrrmH1xPqiNc/qXG/NVs7TbPgHif6ud7pupxojtcUJHbjzdxkAZ1lU4+8ReP+EKbqon4JWq4EX8mGB7umv1+GRlA5IfVYIMeK8SCvZVheG+P845JZGop+JFvhHaDICqNfQ4YsQRHWP7MOAnuDFfJD2n4pQipeLKgA+NewtrdEk2uTmTEHRH7iO18WvZZvcNDshUI+/mdlqmaG/sq8c0js3eV0aotr2getFVDQNu1zDgMVsbhE5X3syx0dJc8ZlaEeeo9gnMOF4ZMVxcTw4vB6lNhjN8GWBBS+XSig3kaOI2HM3G+ywPyPpOrmvN2pBFr0mRK/zLiPKSA/msc8o6TwE0QVmg1iDhrpr4xvZEHDkfD5BXR8/+lS9YzgNyBugnDbeq36aOco/Ha/ZhetLHJrraAsvskd4qck/EPVFuNZCfsixgMyyB4OZVxlUwcNrPy2AK//Q=

%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

