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

%NAME%
yosys

%BASE%
yosys

%VERSION%
0.54-3.1

%DESC%
A framework for RTL synthesis

%CSIZE%
23384106

%ISIZE%
114939212

%SHA256SUM%
f274d8cfc74dec9086b895ccfa507a9e821d68ddcb91f731957c2927335ce80f

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmljq6IACgkQ87YHSI2zWkeIaAv8CLCyhJZQrk47mCc3pzRH+i/gj9rtgMPNHY8QuoWoWfhNt6hG/KmQElH8egct0oAPVbdbrA5rfBadBIbU0XHXce0UCqageTkGxc+8Yy/q2uy2hlsea69VZ9r+IXf4LGRPG2KTN/SiKtrtf47jtEF6qus02HJ8RddiT+twrR3lUP+VkCPtXfDToS5WuPtUKclfkljNkAZYU/DftiAZ2ElM8nB3uJyrFFkvvHU85aclGeTejQVXHxOjl0qAbOtY+ftjt3upJfaPUsoVplQcCU32w/4xRx3fDj7S+DSgMmNdVgjWJurHaXP5xOtkJDTtPWaonjFxHaaoJ0v0uDu5vB4e80476t+9UzO6hbvmWkt9J+4m+VyXLEjtVihZgjjtrx/USY6/ypy5guUl9NMEWAuOQ+nqgSRNUSR7oIt8J3DV+aiTJIvtURtlhrnepDEuEuK37eoMF6GrmdlA9zhFUwe6+xJibgJl8v/FPINmo+huRV2srThVEnT2N6SBVQrpzX3p

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

%LICENSE%
custom:ISC

%ARCH%
x86_64_v4

%BUILDDATE%
1768139274

%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

