%FILENAME%
yosys-0.20-2-x86_64.pkg.tar.zst

%NAME%
yosys

%BASE%
yosys

%VERSION%
0.20-2

%DESC%
A framework for RTL synthesis

%CSIZE%
6461616

%ISIZE%
50696831

%MD5SUM%
bf0398019466ef6a08972a251b8bbea0

%SHA256SUM%
5c68c7d436d8121764a9c2eb7f26cb4f0148f7220e8299abc0782565a0642f7a

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmMmjXAACgkQeGxj8zDXy5LFSQ//QZ6I9RBiXo37cpGUUaAePFAI+iVWmxdH7SiwlSHv/z5DDHqcH1tYo1FC8OVJkb79trRnh6rP6HGfD5dOyyuJabA+mPDsXG+H4Q+q8IUqnS9SO0GwzzfUVlSIR0bE/sjZCSdQ7Tq9R/Bo9X1Sv8h7wNUliUkxnvHYZNhM+yTesFdwXn1AHGbQ64UpJP3N2KMaKdA3DXp5zi4odtSPzUhto+cKb8LfQR3hgPB/NzP1f+idL3XbqSeF3aCYAsis7E9Cu/AtpowXP10kZx4SJAT0aimtRpkJN5lbceCVw64138FZglKmjn/5mZ34twjZ6tXiQhKkFfGDNFxUVT6IkmdD6/KJzRY5zk4ZZLhufrUEBxqY07OeYKLY7b7TxxoUd4pea3th7YgmonX9elLuckwdP70hJmCKYm1aj00vCInM0109ktNcbhrwbpPKouBqKy8l17LNTMSqnj5a7KRiPuOP7IUpSfPiyNe0lQu1ccsie6neFugw4B5vlGirmEjjNyLhEZss1UwbbAo6SosUUfvSsEKGatd5WAWZmsr7PZw49SF/Gm6nD1L4L3SPa+eB28X+miPt6GfoYClPuo2nDRy6krVwJMPSIEa0/kiYEKzm2ZwtyQqI8/vECYckBUA/4bFAYyKR0Vd5BzwP4yAJUXiTrtFM7Z0z4QAlf56Qlsr1aYM=

%URL%
http://www.clifford.at/yosys/

%LICENSE%
custom:ISC

%ARCH%
x86_64

%BUILDDATE%
1663470440

%PACKAGER%
Felix Yan <felixonmars@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

