%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%
iQEzBAABCAAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAmRjyccACgkQek52CV2KUuTy5wf/aXueoxYceTRZqTHAwvmhwG43frFnjF4UGIj1r+G5YLQyPvYmHmt+00ahAi2qbmsAY3IfyqklokIF0wzQV0ZQu01Ls/kJ+ydzkFXtblMMnb1HHtigdoseM0M1glmPYMtq640/mk4PXNVkK+k4ge+T5QA6AxOO312XiFXczyTkgCjNX3w6xoqkrQ7/adN5QQwnfbzErHjJQlO9OYM+fzNwgDnEu6h5yGsPXwFFgdgZu95jONwQ8SEdAuz7ORzdKuua32EzwlgWamqv1ylARG3bGC262wHlE1KCUdEbO9ODNQaUNIO9GyfkrFf2lOkJliBlBliLy//hi7Ykn7VORTlT9g==

%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

