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

%NAME%
yosys

%BASE%
yosys

%VERSION%
0.39-1

%DESC%
A framework for RTL synthesis

%CSIZE%
7035236

%ISIZE%
57686924

%MD5SUM%
bf41fbfd64cdc74a2583c514bbf52e92

%SHA256SUM%
0a689cc03fbfa5d71a4bd40ba183e510693905b19a5bb97d32ba6f7f6330c9eb

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCZv4UHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwaaiA/9G/BqpZz2PhuUnyVUd6yyYAcbXcBm/4r4Tj/cISKK/6dAAQ+BJ0uK8Xo7ktb1IdtJWmNk4tkG4LB8TsobUPn+wTq6bc9Q80GfTA46h41291pmPQyYIZ0qjeop8B6phB6h9s7SiPwZsIiY7PYN+Lj8hk7KzPJVoDfM6wnTXVdzVYctqnAKfqzIJ/s+EW+DSILoUFmawtnVzvepzw7GNhLeHtTJngc5WFZT8Jf/fgedjNI6OlsKZz6ESyOtAaerv8/6j9nH1bmNdzOjbjGzPUlQKsTtsa00Rpb0g+j4qx9h3sSWFcW5TL42WsLgzxfucgsR388HWPfGPiKy9x1ErT+7FKco7v8VluWQM93/8jV9fk2cZn2QdFrNxwaa+AJgCDMHwTzkztBSt8Yj02GzVO5fNluChcMUeghLIn39a5nYdFc7aOjjLKafrxFQ+uE6JFh6FHmBog8LqxhaDZGi+rg2B77It0QOz6kc2l5q3LCt5AUshqQP1rN9UJP+f7hD1QhybiY3A8zWJkTpS0FGTkgaMSpt7VMJM3BCMmaxlgw8fhi6nVkmeuJBTh+I8Bt2iFhCoYCWBe1Dy9Vx2uh1gnrdwYBVG9ZP0+YwMGS0Lwah0lDSwvcawhlXnhJOxPK+rMGkazCEgbuCdno3N5B3gvgPYLzqDY6U7FsV379KnD5fnaw=

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

%LICENSE%
custom:ISC

%ARCH%
x86_64

%BUILDDATE%
1712355987

%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
git

%CHECKDEPENDS%
iverilog

