%FILENAME%
abc-0.0.0.20221019-2-x86_64.pkg.tar.zst

%NAME%
abc

%BASE%
abc

%VERSION%
0.0.0.20221019-2

%DESC%
System for Sequential Logic Synthesis and Formal Verification

%CSIZE%
6023122

%ISIZE%
15723289

%SHA256SUM%
11c528d1b6dec2159ecca87304b9dfa355e5bd9c384a24af4dae8d00ae2bb144

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOj0ACgkQrx0hme8KPM9LCBAAtTXlJhrvYo9myUhbevbs7Luj1W1BZk81l1oEhgUk3UxxDQ/Ql9RkuhsCOOHmR2PWZhEelEzKbEIF/++BDeHaJki7QhL0HKqsHFUuFzNUv8ubTzopHimBYz8xW/LMpsZHMAScLInnfcy3aOelFkhDR8zpnJD18Flvitw3QE7JQ620T3oC9fVi7/Sf4aJV9MuQbphAey9CpBsucoP2aknw3H6FLMIDX2UZxuc8o272288gkQT6yR0+Tc8QyU/qAGx9RalURseB2bzCaXKW1wF2aU7Wo/7nxqQx9uLr+t0JY5/eCiesdlylzCdUaQtOCOu7LbJby0k9emMUuRKVcjAWznzkWwbE9jrJaHbwxmfQ/kSq0EUMh4Dxqa5mEYf4KLlnbCEidI8oubEMnnC6aTvO9BmXuyL0X7hnDsA+QPEoZmnRcu/eeFqthVXCLm/+gIN69pLTeOMpua69IoBVzUFO2/Up1fuyMbSwKfVJHBA8trGsrYtqN6cxkt8Fds5XuGqL2lZp+qFAQIIj2YiyS7mJaqjvrfhT6KHHuFSFsIKGBZiKevn5Eb84cxS7qfPJWrj0nOrq4zEEgdQ4Zr8Ve8V8RpuYabo5cFxzZPeqOlJ5OL4QhI6iRri4sdBjaO4j4lr9Dm3LLKgrkG4fkT8Y6fedBBFgUd2nMp4Ro/VqfJbflfk=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1720734680

%PACKAGER%
T.J. Townsend <blakkheim@archlinux.org>

%DEPENDS%
readline

