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

%ISIZE%
22499609

%SHA256SUM%
e024759025dd02a56b00b950fcb9b4f48c20d60c9e677c570d521dcbc9ba1352

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1776995964

%PACKAGER%
Dmitry Razumov <asmeron@ublinux.com>

%DEPENDS%
readline

%MAKEDEPENDS%
cmake
git

%CHECKDEPENDS%
gtest

