%FILENAME%
yosys-git-0.60+70.r16426.1ccbd21ed-1-x86_64.pkg.tar.zst

%NAME%
yosys-git

%BASE%
yosys-git

%VERSION%
0.60+70.r16426.1ccbd21ed-1

%DESC%
A framework for RTL synthesis

%CSIZE%
43300394

%ISIZE%
154236947

%SHA256SUM%
0a6b84c5dd0b1d44b3e8af2f2e33fc4d7160b573dacc1bd89777326e2b13e7e8

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

%LICENSE%
custom:ISC

%ARCH%
x86_64

%BUILDDATE%
1767646789

%PACKAGER%
lilac (on behalf of Yichao Yu) <yyc1992@gmail.com>

%CONFLICTS%
yosys

%PROVIDES%
yosys=0.60+70.r16426.1ccbd21ed

%DEPENDS%
bash
tcl
libffi
protobuf
boost-libs>=1.89.0
boost-libs<1.90.0
python>=3.13.0
python<3.14.0

%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%
git
boost
clang
python
pybind11
python-cxxheaderparser
uv

