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

%NAME%
abc

%BASE%
abc

%VERSION%
0.0.0.20221019-1

%DESC%
System for Sequential Logic Synthesis and Formal Verification

%CSIZE%
6004870

%ISIZE%
15935889

%MD5SUM%
bbafe39dab951c740acb99d3cff77436

%SHA256SUM%
25bccf7aab17b16c088828cd4aabd8793964c9c288afaa021d455d683eb8ddce

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEGcACgkQrx0hme8KPM9NFhAAtkGciWjngG4zLBJyHEwPozbXzDO/tYs9YceT877KxdHsiyIlRi639WHAlLkUOkD5P1usz/Unqp/MGcpjW6btxYTD1UovnGNYbdKreDQWbqxyCp0W3htVIqU7ORhdrEQH2g6lFardtekKNZb4gmvIh0vR8m1/h+jE88N9yg38xnslzTmEdGjSYPUsWdhtc90O5it0QvPgJH1Xu4jn1yyxqPWfT6J/4Uj5ixj0ou7K3p42hdiTyW3j7joe12d47KzIi1U88fZR/JR21s4S+5JXE8v8EDXFNKUQRhX0EgEqKgEVGm45eWsezmCX/oCDlGTbqgP/BfPVdeaE0FrL0dcnxxvUbkJ1A2Bq2aT13WN/lgxKamQdcLqmJrI3waDFcUdMPtyR+Iju6MLVmPip8YRcVEvkkM3QVoXfpQ7q1Ydp+Oeogp38IGlI95K+7B7GW79NE04QAz+VhOB8EWNPqk2g4Q/0HvUx3TeZcvYnNPXMOa+KA3brwzwUIkTHzGgw3ZRwxjHFDMe9BRWQpK55KvYF7JjZh6Uf1b3AnOW1nKk90Q3a42W9OYvH4WMoN7KKr35+d9Xtto760Dv9a2pSQTUdlS5KRMk+VjfC7K/GihAcJcsWjTFtG5E9DEiJQiWmAj/dXCaIrWxFYPPIIJBSwfWTmrOc5iDpk2mHxkzrz0hX68M=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1666747089

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

%DEPENDS%
readline

