%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAW4ACgkQrx0hme8KPM8K4BAAxW4063e/iFuI1PufoWv8EEvzuzRdyTrsI/XeFiBHW47x239QdvSMG2+bUlYY1faSMNgXon8lWlcSsUfqcVct0qpVeEX1qP7BqLuviFC9BxirUIl6udoJTK0+bGWQ9xLMYOgwiD9nKetm+UcoCnQ/kkkHTEaAfGyzGmRNFbQu0AD69/iNHlqvqq8TNb6A/7EdQYhb8/LR4LQYXaKO1ElZj2m5hj0lL4MapPL3gszTCXfgFT01e3frpVXD21zxy8HgPAO6zOc1Msdg+Yv1DSbGz92kp1Om4Y7lhkf0wAWE84aaaoUzsqmyBRwv0TUyQ2Gas5Ql0LEH81LSh/sZ7bOJQcA34mOTPhAM3gs59q41x8FYP7yz/ifi8eSVs94TEcqvAHlHXClVttSCSW9fmdCjQIQKjCX2YyUXYOtLBwRmC4AyBime6J5FUxpZfg/ZTD6mDRFOpiJ7DsFqrJgCGtKljuFntZ9wo7d7fA/lWlP1zAgM2E+LPS2Gl2Onb53OIYZ9GVDBP8rfefq/jbu8jJDiXUDCSI9vg4a+daKKmme+LSAMcSjSedb6sfGpd/azyojWFL2eNI1uTksNa0IXEe9bHK7MtjwlsKCJPWy+2/k+3K9gb7hf7T+LtfrUp7k7F7+3hjJN6fl9OdyR5OZG+3V/Q/Q3ZwzAmY6Rm7mTyAdo25k=

%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

