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

%NAME%
yosys

%BASE%
yosys

%VERSION%
0.37-1

%DESC%
A framework for RTL synthesis

%CSIZE%
77127968

%ISIZE%
327476670

%MD5SUM%
432d3346d62b8306980a6821fddba264

%SHA256SUM%
fad21122e10cfa728dae6a0029650bbefcc6c35d9c77d9a1c3c0b42ecef8f273

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoESQACgkQrx0hme8KPM/KbRAAlSXJEexRGXaPCj+GzL7NLtOLcnQB3ARCU4wQaQFSJ7xbEuXnjWhLlriiK2GghXfhakdg4+YbFq2ZVcsz1akNwmPrAVlhgCA5GX8coOIpaUvhFmh0qu9DoCT833Tts2cgg7B7EeaqOtp9Ago6l5ywCfmcy3MNFrBI9gKKWV1XORtjoafVXE6/Hbu8EJ9/jiojg513SmazgUzjVe09OWpHa+c4YbZH6ielzjazm74+RNDgcON6uAD2pUUj3W+K5dMoxZ20Iz5X9b1SrKu7+or8LpdeuiFhARZ+IEjiDK6hXq7wZEZva7fWcLtyMp6vNHwsFjODnYd72JcdHTJZY9Fs5KWmFxWQ/PBr3DwI1YwWESdtnlayFrVqnt0Q3khPoAb36JgBiWqUQcTBSdlDvCK6rE1uGz/SqV0NNOU6scEM9fxpvfWtFLNnER2KRqzXBIBp7EAcpTPzfekbD6lgk7L0d6yT30sdd+ynJwRZlShqhKnFtF7wD2oO+UMRGXxp/ngI+Yc4ee9uRg1HP65hYkDL7rnQVi4xb3utbAX5pfZK0Kd4sSgKDh96KNcNbt85Ij9f3zDr1pejb8vlbA+AwpQCamCTHWN5dSXbQlS9StkzsCR7pmJbABmgBNqr0ICTTaXSb8IZ0eDcmW9zOhP8sKHve7z82bRZ0OfBAMBUXY6N6eM=

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

%LICENSE%
custom:ISC

%ARCH%
x86_64

%BUILDDATE%
1706974100

%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

