Package: berkeley-abc
Architecture: amd64
Version: 1.01+20191006git52a8ebb+dfsg-1build1
Priority: optional
Section: universe/electronics
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 14871
Depends: libbz2-1.0, libc6 (>= 2.29), libgcc-s1 (>= 3.0), libreadline8 (>= 6.0), libstdc++6 (>= 5), zlib1g (>= 1:1.1.4)
Filename: pool/universe/b/berkeley-abc/berkeley-abc_1.01+20191006git52a8ebb+dfsg-1build1_amd64.deb
Size: 5356456
MD5sum: 538faca86ab2694d7697b9cc06f6ccd1
SHA1: 6ee1b9ebad11092156d18c0a5a02a6ee09a3aca3
SHA256: e2d4ad7a768378158130fa091122f9086bcc69c2c590572995d30e8791fcb36a
Homepage: http://www.eecs.berkeley.edu/~alanmi/abc/
Description: ABC - A System for Sequential Synthesis and Verification
Description-md5: fe8b27ff54bd9aa0a3cbde7454745685