%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkRIACgkQrx0hme8KPM+/yRAAydzgrGZk3kJoUW3EVTy6j6kNaEkUYAzWrwNgsEv5oWAi8ddX3h/Z93u8o91m0TwUu985sk/5fe5lcibUg9Pr9thy8vRFVkLdJ8E8KuyOeHyqr/Y0K8K0qBhk1cyXv905JZOl22/N5YN51qFtDF7FnyO1x/Kk5grwUPrXZL/BHZNOq/Sd30ay73BT8O8XNXO9EOCOcn1Gr2kDmFKTN3Ikqo75pGX/2W+D/r/r4pUUy6W6nU3PIHHmftZRCGdahUyjEgTjDMzSCgCONbIYnumugtVpWINJHmvKa0jMwG7hVVb6eiUvxp8fA3eyhx274YlPAce4sdVA05QsultfB4a7p0QlBDmdL2HNgCqTCKEenfPH1v2rQ1q8H1DLVbkezT2KKNeRGqsQgKp9HvrahFj1IB5GvDgXATSo+ZUGQJJe46HIVaMIU6tvXFiKg19gjH7HtynFk0TeQoCIOZz+QUjO3SpVzHEFzcY28bTcB3sZtL+b3AYjnq/ZbgEXZ/tR1oYghdrUhbD3QfWIh9bZ2tY1D12SEeJtPKY/xUpmw6bWWmtqDq6QQ7qWYv0jMtMDuulHyOVmOqROj+VEwmo2+1bjN5VW16hDZt2b47URyzul0tJjzTIR6Goan3o86UQTCyS2O5VVJ6NLci1NZqlP2p82Zi7+s6vWD0iSQowxvrYxmPM=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1720734680

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

%DEPENDS%
readline

