Package: berkeley-abc Priority: optional Section: universe/electronics Installed-Size: 11541 Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Architecture: amd64 Version: 1.01+20150706hgc3698e0+dfsg-2 Depends: libbz2-1.0, libc6 (>= 2.14), libreadline6 (>= 6.0), zlib1g (>= 1:1.1.4) Filename: pool/universe/b/berkeley-abc/berkeley-abc_1.01+20150706hgc3698e0+dfsg-2_amd64.deb Size: 3679076 MD5sum: 82a66b19819df3981e9ed7a40793ef79 SHA1: a67918f8cd425309af2d51fd72fdc6ed1e4fb12d SHA256: c4555543e17ee54c4e80d9fbe0ad2537900dae5a3edf425180d00569c80411f4 Description: ABC - A System for Sequential Synthesis and Verification Homepage: http://www.eecs.berkeley.edu/~alanmi/abc/ Description-md5: fe8b27ff54bd9aa0a3cbde7454745685 Bugs: https://bugs.launchpad.net/ubuntu/+filebug Origin: Ubuntu