Package: berkeley-abc
Priority: optional
Section: universe/electronics
Installed-Size: 13877
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: i386
Version: 1.01+20150706hgc3698e0+dfsg-2
Depends: libbz2-1.0, libc6 (>= 2.7), libgcc1 (>= 1:4.1.1), libreadline6 (>= 6.0), zlib1g (>= 1:1.1.4)
Filename: pool/universe/b/berkeley-abc/berkeley-abc_1.01+20150706hgc3698e0+dfsg-2_i386.deb
Size: 3799274
MD5sum: 873f48e51a0bd7b34cef2d055cf6730a
SHA1: eba901a51064d0ab3906d7d5bf733fb2929745de
SHA256: 83da7ea80a6507d3dd155942c813d6527e05306e02aa44c5b3504f787ea924c9
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