Package: boolector
Architecture: amd64
Version: 1.5.118.6b56be4.121013-1.3
Priority: extra
Section: universe/science
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Michael Tautschnig <mt@debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 786
Depends: libc6 (>= 2.34)
Filename: pool/universe/b/boolector/boolector_1.5.118.6b56be4.121013-1.3_amd64.deb
Size: 327062
MD5sum: 374552ad3b646ab3715b7871635d1fda
SHA1: 1b91cc56cbfddc46045a9a19e5ef5e498f23ba60
SHA256: 261de98cbd5772f737c3629bde0dbb44bebadd1b896b12de5e15e335c8939c35
SHA512: c7fe6daa2d175ac8736a929bc308234a13adaa17e0094cf7bdb89e87a01658139a2e78c52ff2a908319411dfe0f047d9f93b4986fd7ff6c23476e0c7c4f27509
Homepage: http://fmv.jku.at/boolector/
Description: SMT solver for bit-vectors and arrays
Description-md5: 3ffdf2573adbbaeee22ada3c1789353d