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

%NAME%
abc

%BASE%
abc

%VERSION%
0.0.0.20260414-1

%DESC%
System for Sequential Logic Synthesis and Formal Verification

%CSIZE%
8050037

%ISIZE%
22499609

%SHA256SUM%
dae244607ba4bb9b2773689c5148ffba2f21cb03d5dd5394b1b0e3aa114d2795

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1777024445

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

%DEPENDS%
readline

%MAKEDEPENDS%
cmake
git

%CHECKDEPENDS%
gtest

