%FILENAME%
abc-0.0.0.20260511-1.1-x86_64_v3.pkg.tar.zst

%NAME%
abc

%BASE%
abc

%VERSION%
0.0.0.20260511-1.1

%DESC%
System for Sequential Logic Synthesis and Formal Verification

%CSIZE%
10336618

%ISIZE%
28675417

%SHA256SUM%
5c7cdbf0693b74b16a5fb3da370f8452abe4af5eacb943000d0cf4bb43756949

%PGPSIG%
iQGzBAABCgAdFiEEiC3P5I4gUdSOJWKr87YHSI2zWkcFAmo1mm4ACgkQ87YHSI2zWkeDGwwAqWuQwo1jEb9AQbp28GC/9GUEmQnfJSB6BjUQc5suG26Loj2m5ZcRsycwcSfG26LZI+f4nE6olC/zuf0dtlj6f/HW3jigOFubULft3CggGoCYRCkk2lzXj+11vnNyLwE6y7htRI+Ze7DOhRwZq8kT3WA4aiTMvP9SinpqjhAZwJPZwNynvdws82wQ8FOK8g6iXtzfqIFReFBwmCKPW6pdcfW7izP3jB94HtBX185IMX6roa/xDDW0ByahRDXL6NvlQd3soyjjQLmo94C3fF0rgVzIq+r46u8iGxm+oCSGUv3b7x4xFwi1HVqy9UT5OEfkDR+GQoXu9riblVH7TQIAGrYjvdh09NF4DeRZG86AyGD2IcMxLp1OFqwzxytCPPE41Jw93Ua6kJyKOXS/FjMp4ujsiycnsEgrjujX1pP7is6JPQMwg+ec6X85x9bwavnHLuJknp2Ub/mdUjHpU6PCuENpW6KBHiquVadWTd7SeCRG3uKBrTqOyXxBMy2FaAFV

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

%LICENSE%
MIT

%ARCH%
x86_64_v3

%BUILDDATE%
1781897726

%PACKAGER%
CachyOS <admin@cachyos.org>

%DEPENDS%
readline

%MAKEDEPENDS%
cmake
git

%CHECKDEPENDS%
gtest

