%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

%MD5SUM%
5f9acff0449f1bbef35e96e1e505ed32

%SHA256SUM%
11c528d1b6dec2159ecca87304b9dfa355e5bd9c384a24af4dae8d00ae2bb144

%PGPSIG%
iHUEABYKAB0WIQRUwf0nM2HqUUojd5Pylr3lA2jGzgUCZpBUIAAKCRDylr3lA2jGztBZAQCTsS+cks9+A0IhavEZMKblEh6FCWfX4aDLVhF5E3g3UQD9EdmoL5hc8FQXiikjk1Fxi9KT+tOutzzUuYXQljP9CAc=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1720734680

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

%DEPENDS%
readline

