%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%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCd6QUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwbiZBAAga2XSuOjg6irYr+fgLKhApAroexg/+ktZ2OTYaARHZPlgUkdLrKOShvEe9sQHZfWkd+KX3D/rLExy060kCzX343QY9VFJzuSHaSFW5P183ObYqtOOIn5B1OdSTtfHFMzw/iKoo4nT6CIJRZ6dlSw2XQaVZtl7U8Evy69UaOjZFm/1IHo2HqvE0885WKEIbbNlWfHBHqD/UVgxuUMgOxKDW7++bAkDAOGR2//+YYCCieUS9wieLEek6GUwHtZ+wXoy5EI1VGwNbmI6/0k/fDOj/6+3V0uBbZWIhFfHNWirpZKbBhD/O4fBpCWjvmFRP4EyLxPf7ne8OzCTGy/aKEgp//H3Cp5jKzaBvtV+0Kd90BfsWRBg4Say481p5sbSJhCmXRh7FOVskJJX5vYJASdaImKgPaExkMJEV6IBUNGjcK9uy7Gt0bwGYRRQBjD6sCDUfvRSvhdy5z4ubSIalb+xqbGVBgc0vq1jhPdR0yiQ1cWPTYwOhgiqTOTjZbETilHigoWyOXeVl/dsRNg/NfCUIir9fJU0S9pAWSFzJFioYAapb80hS9QtMxhckWYURNNQ1/1q9X3PBbdcvAEJX4waifgRjFKI14MiqcI0iBaOvrLyQpteaH2cwPg37iR+LPeFvfQz6CpsmG/eGRXE3JFgeDqVTpjys+8ETvO7biEPQY=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1666747089

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

%DEPENDS%
readline

