%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

%PGPSIG%
iQIzBAABCgAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmnrPj4ACgkQeGxj8zDXy5IOfhAArxeiRe/gcwjg/TLGY8zSm7gK3UUt5G92DKmQqBVOm0URiP2VNKj1KAVcUGFsy/Se2rvGEteST9cZgiCIuhwtoVWmNRMjgbheAhAtaik9Kgz4lFpp39hACauYRreaWKUmDWr/YDFQaLGkoO7t98J0nj6mPlI1647Dyhq+nHWG/8K86T1pNw6MExGhB4d+/MtoSvnOk14mDIp6WLuYJipnF3PxVBi8xuW0moggE7BRtK/VuCAsQfNxPz8A+hGXJ5peC9lKNpSyQy8GDhI8Cbo7hkYRHKsbHqEDxOjiyEv2tenHuKJwr/KKKZAOy0TbZEt2jygYiVXB6ctv1d2RAcoHAXGBsX3mMNbBq8q7FptX3Md8Vj74kY9viPT5tZ/6wDL+cKLYw46IfDF6erfEwjIMrEnkFCJIyWXYMftUcIA8sBRDHpDUMrIakyyoY7PsYsspY+kmakvwZf4QtsqWP6EZBTQtEYtnM+aqxYWfI76vFvv471aBMI7R2qE/5rGCESSJMcg+/N7/wbKAC2PNyzQNEiE7xK0dr9kUxkpxd/KmxhYD5b9QGvf+knDGbUZjZpCL5l+3vebzhQcKg3CCVDHGp0g8rJqRRSlo3q9gC0TZCCRKrSVb2E+rWU1XkzIqzY70HGRBIYBb4uJ6DROPgDPwNya6Ei4h3EKl6qEwDsu48Ok=

%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

