Package: berkeley-abc Version: 1.01+20140822hg4d547a5+dfsg-1+deb8u1 Installed-Size: 9984 Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org> Architecture: amd64 Depends: libbz2-1.0, libc6 (>= 2.14), libreadline6 (>= 6.0), zlib1g (>= 1:1.1.4) Description: ABC - A System for Sequential Synthesis and Verification Homepage: http://www.eecs.berkeley.edu/~alanmi/abc/ Description-md5: fe8b27ff54bd9aa0a3cbde7454745685 Section: electronics Priority: optional Filename: pool/main/b/berkeley-abc/berkeley-abc_1.01+20140822hg4d547a5+dfsg-1+deb8u1_amd64.deb Size: 2944694 MD5sum: 956f8820b91361653000f3fb44cbce42 SHA1: 29508f55e1fa7c5c141da4e87ca41a9d949da1d8 SHA256: 2866b1173fc19a7c0aeea85967d683af7f3c22f95af0329852970fd421c5ef28