%FILENAME%
abc-0.0.0.20200911-1-x86_64.pkg.tar.zst

%NAME%
abc

%BASE%
abc

%VERSION%
0.0.0.20200911-1

%DESC%
System for Sequential Logic Synthesis and Formal Verification

%CSIZE%
5926789

%ISIZE%
16028889

%MD5SUM%
2b2b37fecaccbca85f0bebd04bea443b

%SHA256SUM%
3a8f0390544e490ee7c65d021f58eb1b869ab9305c089fbf719dab11631ce9e4

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhMS8UHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwZemBAApOLRFA5mGFhyD+QtWbFG5L/LebfuckIr2cYdMYCxirZO++aUArTegZODDPFTI2shKdQJVPQea9H3lU+3zZquUUWZzkLD4M4oYfnuLjxoDgUqrdihaBNXKmglcecAiRaSNM0CjXXcIV2e8c4sRVHc7wTjjdMhL9kGxAfkJiLDXlJI4JPRSPwVWYYqyhZMqTJk5zJEaeUmhEigbLQWhNzcAW9K0Dr5nw6/9+2qejAuNPyFWa34tRTk2V5ftN495JzBNjT6ErrHskBAwT6RqIAnbMiFe02C9YzM9XPF7vPBUwoi4ARQYzunEmlUPODfGP+xH6Lb0V2jqHLBIo4dJLa606qiUBl8EfXIp4Hx+5LZB+3eAR9cKXjHkY1SY0/x3qC2CSCKetsh0uoOZAfORoijCsJ74RPRfYu4MxOk8L9AG2oUar3EOWtrkkepPpeQiTQms5pd+Cz5mRzPlxoZHUKUOeyDGsgAQnmhQdc7DAaaPPOwQJjFZMVmdP0fxmmhudAdcqpBP71xHzQ2cqkV7oOcW6wHFzbQw/os7ski23/JVLYp9XusGlCSNcmzltuEY7/dPE/xFB33BGtjPUvXZLgiMlcH530eA20qHxN4n83p1fWcBeTrUo7EEh/NbDiOKKpWau1PPV4YtDdPsuWVzywRh+dCb3BRi5rYlQ7uUKRgW9E=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1600079830

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
readline

