%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

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmo1lwwACgkQeGxj8zDXy5KQUQ/+IG6Gvy+8Xgb/QUymbJPYhtAwjyTqiblK2nNXzxtQXdJjU8ZbAtfSTx2QWQcwJ70TaOFf3TMdKpDJbVuneVrj/c4sg4O2k9wXev1VzZtflGf/+wN4GJoDZ/CmluCBZVuPzA9uxseW7arCNMx1YJIwQkffpDsHg8oBdlpND2TilEAj+6OUXiksdB699X7JXcDsxB2x7StjnnEQslnyF+A455/eiv/gZcM/quUXZiVtu4ThXw6qBRCBfj7VGdNelYd6K/uUciL6Ub3O+S0H+1TqwOWPWgpLPNYR90PlnTCWm5zCw5IAio9nbDWKG0mVNmWe+wz7sIvPhEV9Dpfulm9YtYnBupB6HsWCTS41CoFCXEns1yrrquz1y+ypP8e4uHMBXNcmwCWJ+rKZz/epoOAvGvPMWyo9dyINapapDzNnfu1HZDCm7XQRgaaBJ6b+XTOTujEPHTN/P77O/dvTJUUZRzQGJiGyuWXTWhVRP/diMP+h6WleklZZK4C8CY4KXDDgJsZRSkAsvCoKga86gpgM3g8Hi9FJe8BGgiwfM/ltuUF6plTux+YnLjSRvWtt5M1rz4av4DUMP2LsZbhSaW9BwuipKMIDMAAkC3RcqAu8biVnQT205C8SKFdn9U8a4MIYrUuNwkWUOPyrNlUj02tgWqUdmItcTuqVPHCNNUgvXNQ=

%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

