Package: boolector
Priority: extra
Section: universe/science
Installed-Size: 810
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Architecture: amd64
Version: 1.5.118.6b56be4.121013-1.3build1
Depends: libc6 (>= 2.38)
Filename: pool/universe/b/boolector/boolector_1.5.118.6b56be4.121013-1.3build1_amd64.deb
Size: 334386
MD5sum: eb7327ea8f623370890e710fa49166e0
SHA1: 01a8b09f2e5deff644a28a28e5946f9c205a77da
SHA256: aa0957b45e11d4fd510ab7df72b320f8ded5d66835058deb3e4cf8a70e2d17ea
SHA512: 7254a8f01f535d7db0b25b69650a266a1cd6b7542cfd7f1a957fc358c1b86461fd71efec6a2f75605f2f44ef18d9cdfcda3b17d8143b1cd9273d656240d81569
Homepage: http://fmv.jku.at/boolector/
Description: SMT solver for bit-vectors and arrays
Description-md5: 3ffdf2573adbbaeee22ada3c1789353d
Original-Maintainer: Michael Tautschnig <mt@debian.org>
Origin: Ubuntu
Bugs: https://bugs.launchpad.net/ubuntu/+filebug