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

%NAME%
yosys

%BASE%
yosys

%VERSION%
0.25-1

%DESC%
A framework for RTL synthesis

%CSIZE%
71080548

%ISIZE%
298826164

%MD5SUM%
d4f7f7e83fb7d925c66969de63631f7d

%SHA256SUM%
12cd2d7b7d74c6450bcc3f5d3084cffd11c108ce4f64eb13e9342d24d074bb48

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CvAACgkQrx0hme8KPM+14BAAn0FT4hes/KEk0uDcg7IA77lPJQMv1Cpjx+MmakAi6mSqR8sUzL8ASeb71Il0FmTN0UU5qY1tRM3lnl4PKKVvseiSqfj1o63XWl//fcvxoNFlg2EP9qcDo0HtNUnBoVpAVGSxBsMNZ+ApKxvXrALx2dYgDrT5FfjdjfXZ/d6JJIV6Hrdzf+iyFzWmEgd/Qnn7LAUDNU4ZIgnnCkl4NkUYotCNbeL1F7J6fUvTOgzv9H0nTkYqs9DxvWHf/E4xMRVG0xCQw4kMWucexm49nm35V0ELI2XloBDzKuf5mwulb64MsuCe3NhXnhTzFs/JFhhSMED4oAiDuQ4ukXz3lHOz7Loh5U348THPi1exl+WRsSdg8gxPwCRxy9D5KWWEH+R80krY4pjMcXSPJvW8TRuE8TDZw5MgvQRSLPiexQwEGi+VEfLBo8Xrg44TyC9oEDGjIs3PGE3t0FaRZ7lIZfaLnd7/JP38pcRF4eq4eQ0UUC3G3OCIH1bn1AGUol5PZQ8nnlgYbcXioB2ZUjs/xf3bPpGLM2AsBrqqbALdAPVHCgSO/39yOvgrw1gBEBt+nZ8v7TR31o6e75Zu1ouP8rgVvSMA1OWOzDG4XxezzpojF6OlwY6iy89u7WTDlF6xqeNutbguz7pDzZkPGi9Iw6kIW4SvO5ST5wZ1FjLc/TS54sI=

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

%LICENSE%
custom:ISC

%ARCH%
x86_64

%BUILDDATE%
1684260677

%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

