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

%NAME%
abc

%BASE%
abc

%VERSION%
0.0.0.20260511-1

%DESC%
System for Sequential Logic Synthesis and Formal Verification

%CSIZE%
8338936

%ISIZE%
23072089

%SHA256SUM%
7f8528fda4a21aa45da4a7ded9be68a28aeece82fd61042b99202bb224e7e393

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn3wYACgkQrx0hme8KPM9sxhAA5GDFHD4COHA5O8+Q9rXQ5iY6ac2kybuQ3yZuVZv8DoCSa/pio2zYzJpmjPYW0vVw6j8lQWsIQB1aM1GywTCHzIpalgkD7BEz0SD1dI0MC5puewU/CmF9Ik7eQ0REkslVVXsZRJnJkHLIGNtMeQbf6Wk+YBvyFRvaFJyNGOuAFfXVHnR5ZuJ0rEzUdBQSb8BRLWTa/mUt03URWpb7y3SQekMP5HXLDzm/mhGWy6E9go7ZezbozEMZbjU9kueiCAqfqvZT5Jlc9No0meCPK8uPedPkVlVa2JxquawQKtbE+W/N21Sg1kfEu3/tBWGEUH1JdZZqEY3xhrTVl1juHgvVyjqew6pn+rolQS4UQOqOpSksEr3yLSiXX8e9IAYCDtTkV0OQi31YWiM70XnSHw/IAxgj/4fNiBjtY/nJ7vIhplQs+q7hexbx8C2DwaK+LMnoCoZzqDs6LZ5Xj9zZhbqZIdqj1vU8ro0N81fc/WUoOzkF9Zm2cfnKHTeTjd6lZRtFpUu89vWXaEXStRpR7sx5rIjczTxAVgZtmnRMPjpzGufmSVipfiOP6AfBxewdlkYQPksqZnrjtCgL0EZwtodt6WWqQqNjYzzFZKOU4YBR/DzfEKno1Re1+c9gxbnO69jfcaJZ4+26Znyl0j0RNPe4no3ej8sKzWubsiji2yD2Nyw=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1781896690

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

%DEPENDS%
readline

%MAKEDEPENDS%
cmake
git

%CHECKDEPENDS%
gtest

