%FILENAME%
yosys-0.54-3.1-x86_64_v3.pkg.tar.zst

%NAME%
yosys

%BASE%
yosys

%VERSION%
0.54-3.1

%DESC%
A framework for RTL synthesis

%CSIZE%
23500272

%ISIZE%
114521420

%SHA256SUM%
448350541a56fc5c521176f7087d826ef274b10b3c71c88a82c2f6f5831d90b0

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmljrAkACgkQ87YHSI2zWkdlZQwA14NGpANLPYDltj1QThjHpSgb+fYOni1F6EncwRxWkSBSK8XZnlzSQCx/s0sSUk0eZTV8vNywEC7Tj9psFv9Cvm67Vl3nevVNqYc9l6CwuMCQxWHf6b8CNmcfQrUryKrYbr1j5RuT7iE9FrPtNZiZBscKqBSF2MSUK86e1lc8JWUe486GaNUEZx0INZFfs0KmWBh8XgXbyLP5kuJz4JGLlNk12HGnDWbPCbFTflJ/KPjNWb+amKlxznYusmvq5FAIoAN+xssu3HrpT9ETS1+uXGyUcKa4apMDwSETPx6pSeg1/z8dGak5i32fNjWY4VJARhFUe9TcV5p8c/9J6my9LgnqMLbnYAL3CVnrelXybfEUOHAChB2+qUjlR4kEyp8wxOpc+wEV1KDltpBzHdEHhYwMufEjKDbTNx13Xq5SJ5lYVtV2nRG9U8z044VGXqshM3YZDfQG8J4zFFoJLuCIqODW0giSqdZOA4BaTf4rUPOMdg16oEamoRZBoebAbgap

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

%LICENSE%
custom:ISC

%ARCH%
x86_64_v3

%BUILDDATE%
1768139365

%PACKAGER%
CachyOS <admin@cachyos.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
git

%CHECKDEPENDS%
iverilog
gtkwave

