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