%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CoEACgkQrx0hme8KPM/yDhAAogvkQ8FA+JHqlSu/1+HeLrZ/fXtoN93SIx6ovMybPs7v+RThbXVaETRxZVb8PyDY5c21RRtS1CrZATjn6vfv8TXGhkWK0IZit6iTc8Tozc/oHReIm74JWKTLBhrKCyTbSmo451kT76/DFWtWM/edaQVRBneZjBbRSN1v2tMDm6KCD/AQj+/Obab4CMSEscfrNUMtiGrCTrcI52qkrnTKa/P79tar9yajeYOLVYbIO7bzDK66KUchQ0GQeEeCwJoatT5iINpzYcpSFbrIVMs0wcEIF0h9m/0J1GuVoIfzUiUUNUKdEsEqLQtvWERp92LuXUcG/pyIasetZ5A5n9+hOATHqsWtzvhdGFJbqlFuyl+MCajGvjFyRt1VMIvOvM/isQVyeGYGDdMdOe+qa+Kxlf8pOgnfU9XDo16kAr3hnP88dW94YtOn+t1g4gDFGqfr/2paKDtuT0lAJMiqjJUZg7m6kjc4FA9cHxjdXglm8UHWCJpBJ7MorVqSQdZbLYRrPlpnTHBexpbDMBQ1EV/ixgmycudxXz4izJHnYO08fHPUKiVhJpKgEtPZaKOp+cbUfbcTOO1gq+x2GrfrkG/6WP4/JUBlGwX42fbYtxsHpgRtkxNEMI7GnlTsrZF8Fu8VajtuHEZIZul8TsSDT2TWTJBBePGaAf+4+AJg8Lu2rAI=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1666747089

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

%DEPENDS%
readline

