%FILENAME%
abc-0.0.0.20200911-1-aarch64.pkg.tar.xz

%NAME%
abc

%BASE%
abc

%VERSION%
0.0.0.20200911-1

%DESC%
System for Sequential Logic Synthesis and Formal Verification

%CSIZE%
4969724

%ISIZE%
16551865

%MD5SUM%
1121b10311a75e605f8b2df51d8be05c

%SHA256SUM%
67ec45347ac42593bf6863377c852c2b0324ff7f046ba85bde330104e9b5b177

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl9flaEACgkQdxk/FSvb5qbUWw//R1RKJOKE7m0BrjB7yxPalgvwT7kZvCvhmUiQEWVY5CIhM6aOgVUcvguPUufnwE7zn7VJZyoUJEPdO1aK7WC/kTeso4VwThWPUXBqH3UDZlmHhhgI0aUgd8b2H4uBy7wfpx2V+lS26Fe8Wz+2+hWVvcgeuzjDKYwYbM4cAATNg/nSOKzj2h/ed9RBblKSlnmzj6kzbVhFRDApwWT0KjkZ7g/GQBPr6XWdsU3elnzf9vBF49NIsD4atdt4Rc79bijoGr7hRuw112wCbz7t45eOHibSUfth9djVnpb7JmuqDCSdDhXI9mLJeQJRke5ZwPHWkoCdhq+wL1s+DXa4rLjJexXeA/InVW8oq1Uz13mFfPaGispiQ5GXewyQjGcoCiu4DmmHeGcwlI5eGpbkibLawPbs17xgbC6t0jCzWIVgmoYmztUSQPcHCtlimX3diRFemLcOL9j7vF0dgx/OWGU+rpdIz500WaWqRi3aaI9/USPsLgi/Egrzev9yakRMrID78cY4lEJJmZEdyIaQmlXVNSbTPW77otO+Vjht8ghvRbwjtVqvfO/RFYhnhEd3WDoTcrsmLCJrupAbyDQ5rl/fZMv31U5+4Y9qbRpuIw4icD4YfgQYGnFzOXMomWoS/ceapo4G7OAiYbvqtMvJosEMqXafPMUYo2P9buJRLz4n/hE=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1600099615

%PACKAGER%
Arch Linux ARM Build System <builder+seattle@archlinuxarm.org>

