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

%NAME%
yosys

%BASE%
yosys

%VERSION%
0.54-1

%DESC%
A framework for RTL synthesis

%CSIZE%
22490038

%ISIZE%
111220175

%SHA256SUM%
4da0ecc51f1920719ac17e41867feab30317cefe6bba53d2d71666f84a91f123

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkfgACgkQrx0hme8KPM8i5xAAjhGI2V5eAepZACS73ZvQ5DbfDkTD2YDR7e25RnNykxsvPtQdt/4tgyjVvm9171/B+upMomnX0QKbpotewwV/YnQtSnv1MDi8ifmujbL3qyxG0BIS7kMIS228YNdyL9OAn0K+PtwNUGrGk7639Z2EklN6zzxvxhyhMvbFFJfmNMPgysSsjaxuVWGP2vMe70B3aUYeGRbM5YW7iEJfBghP+tXbLklIa4oyxr4TsUq2uAV9SXrk+ymzHywNiV/RWeL9z+EsV1H0muurvcdCPdFuvF783VOEryMo5B36Fr9RQROX/ILtHJ2MqQpsG+He5/m2KvoZPoQqj6GcMtVf6kOzStaKbxdAAUSbCO5zHcJp1KJbkcPfiAcy9FZYkev0ks//ZHLcxzI53fyTxsJ/eu/wBtlovUGZznn8MHyASe6NGkkby0Jp5hoM9fEzopsTr4SOtnGw+B3wQOUajYywel2wFt/SxdyWCWK1g//F404e2P4yvX3Sr+j1nvSGU7qne06NB+GcA6QNXa8wY/mRUDSgeJXkIb90PQaiaoOT8+xPEXkwcbD7bjlBwQdWgeQC3SFSY/1FQr02UxfbOcMkK3w4gMzNEV5vro3C/GH654NhFSOe3Si6BwIfnNxH2U+YkkIpmv2COVKJZlIEENzMV35fnbcL//gJ8azxEehFfnBvR5U=

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

%LICENSE%
custom:ISC

%ARCH%
x86_64

%BUILDDATE%
1749921188

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

