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

%NAME%
abc

%BASE%
abc

%VERSION%
0.0.0.20260511-1

%DESC%
System for Sequential Logic Synthesis and Formal Verification

%CSIZE%
8338936

%ISIZE%
23072089

%SHA256SUM%
7f8528fda4a21aa45da4a7ded9be68a28aeece82fd61042b99202bb224e7e393

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1781896690

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

%DEPENDS%
readline

%MAKEDEPENDS%
cmake
git

%CHECKDEPENDS%
gtest

