%FILENAME%
abc-0.0.0.20260215-1-x86_64.pkg.tar.zst

%NAME%
abc

%BASE%
abc

%VERSION%
0.0.0.20260215-1

%DESC%
System for Sequential Logic Synthesis and Formal Verification

%CSIZE%
7897303

%ISIZE%
21794897

%SHA256SUM%
ac1d3533394c184e95030ff97ee53dc0837679f35aa09b8a04d378084b573b1f

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmmf5NwACgkQeGxj8zDXy5LOEA//TQ/CDR+Y8y3WJkUjKQdiE/ukcYWW81lfL+6Fxy+7xgj5e0Y7e00u/hLe4tpVfRjiveTfsYO9nnKp1+BE0DxCuIXlsHMGB0zuFNoRXS0H3QG8wmTHw9uIZNs2oTJshWN/2ztT2byIb1xPbblqGtDQJrrkopa3LyMuHjSyD/UkyHGTaPatzrciX8JZauP+n4fnzPYChRAYjBT2lXINRehxzbV5XvnfK+NH4RzhvvpFmEtd7TiOWdkZL2MWz8mWQsWn7IRU0SCvbyfQc+HtfV6n5FVt+UI2aPFzeTcYaI3tE4YCEFIZtBG4UU46KaU2JPV0vSnM3tDfBVZU/sCjK+H2a+yNuFUldahPoOWEYQds30X89JTm8KP9HO5HZpZCdXfCz0H4LvAUFjhbeEkSD65kHSeX5RqNn+xzUKCEXrp/9wCeOWitdnpsTOXoGVFybnmaVn0YgSwvse+G3HI7uZa1Exvtf0sLJhTmXojwfmr7TsZJICd4YRXq5Q0QMxAYuNjalB4/UUlpOdv7vd4TiJoOMzt/OSWG0An3CjYh7BpMk6+Gk4xKCVY+tWHEA9M5qz1fYgYsvW64Hdwm5Ft6onFgidw1QYN+Nl6daMFLGf/kz2aQp9vtuTsnTytqgsggx50yOSCCGBbOYQzxEPSaqaM/Ex/77PRywV86/7DpHOInTwY=

%URL%
https://github.com/berkeley-abc/abc

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1772085575

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
readline

%MAKEDEPENDS%
cmake

%CHECKDEPENDS%
gtest

