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

%NAME%
abc

%BASE%
abc

%VERSION%
0.0.0.20200911-1

%DESC%
System for Sequential Logic Synthesis and Formal Verification

%CSIZE%
4682980

%ISIZE%
14446037

%MD5SUM%
cff6fe327b263f097b9a79e7dda4dce9

%SHA256SUM%
9ee8cc56b7cc9be233f3dba7a745c3e65a906a4209ba5258738e38464c6afc3c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl9frmgACgkQdxk/FSvb5qbaFw//WAA69HHPeT9aiawBpJ6Dizj8kwffDlet8P4ldoEEyLPlEyRvkbdCk5d8QGGZW7naQecsVv+VYz318rt+CDb0nagdyURRqV7p5Xwn1AVly4Wfh9Fk1Jkp5taNptPj8J6jzmyZ5dycpHjLGDY1GSn8Mi/hYC2FOOGkUVvqqbPltKNxoub5DOEpJa7tXADZtAh9cVpPhuONbzfujR868zWbriDY1jd6E1oI2+Z/p6x2x6BWI6/0rEz4hPRwhWRgTS/6ELgiqqalD0vJUxS/v3+7i9Kok8Ja1B24d2tqBowW483jFh4B2S5AF+XeKtH5pXs/aS3jkRLgvar/O34NVV/ikHI4swaHB6aAkQfUvr1opZDEjf8fNbcGSoQ5OEwChZlaPId/d/p/oyrJy3wfAD6TFnLRWLqinyGjoT49wpM4nSwKu2T8Hp51gN6rImuxBKvnSCCcVbPeEL4eFGbY/WL5/HEA22iYMBGYQoZMUCMkMVcYwDVV7KI0c8W+yYS1/U9JaOfrBswhIUlykisdDWHZ+BE2oTwzWz9l0y9E78ypDscGPyoGw1tGXBD7A4sMG4m28BreDfGHlmNDJybrKT6gqEUVyxwYWOz9miRQ1BDVCFVKWRVc3FjnjHrJ0KlE3xJ07l3mCWz9XQVUoyXemkIuskyjK2XEh9Upd1nRM/hsd9I=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1600105885

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

