Accepted boolector 1.5.118.6b56be4.121013-1 (source i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 16 Oct 2012 13:01:32 +0100
Source: boolector
Binary: boolector
Architecture: source i386
Version: 1.5.118.6b56be4.121013-1
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
boolector - SMT solver for bit-vectors and arrays
Changes:
boolector (1.5.118.6b56be4.121013-1) unstable; urgency=low
.
* New upstream release
* Bumped Standards-Version to 3.9.3 (no changes)
Checksums-Sha1:
5f41ff96ce7b5d764fb073eda6b8402d4bec0eac 1515 boolector_1.5.118.6b56be4.121013-1.dsc
8c9c8f443b401586649ced68096b890da59d08fb 166291 boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz
b136e73313e402c65cb3819e03f397dd3b218756 188678 boolector_1.5.118.6b56be4.121013.orig.tar.gz
9a8e763f7ef6d7d8c3c5c18689f231c5ef4b6469 4827 boolector_1.5.118.6b56be4.121013-1.debian.tar.gz
c3679987b4f46612413c7320a991256aa566dc9f 346540 boolector_1.5.118.6b56be4.121013-1_i386.deb
Checksums-Sha256:
ae437904df6a0551a0c290c638e7845aaef25d31fa80b862fcb3ee27d515c79b 1515 boolector_1.5.118.6b56be4.121013-1.dsc
5da60202e977d60da811b29cf065b01c4cf4f38cc2ba1a2d562365e2284b2142 166291 boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz
e0215c7e3b0512919f0af5470f6cbb32ef0bd86042659cf068b81fbf60d713e2 188678 boolector_1.5.118.6b56be4.121013.orig.tar.gz
efe3c5f85abcb7198a01312612a9d223eded6d1752fc6c64c8d64d8dd69287d1 4827 boolector_1.5.118.6b56be4.121013-1.debian.tar.gz
c1326ae612f5af014cd858ef63e036106ebe085d53a61fc909891adf38754cdb 346540 boolector_1.5.118.6b56be4.121013-1_i386.deb
Files:
5f1587f98d60edcb9998d3854abee593 1515 science extra boolector_1.5.118.6b56be4.121013-1.dsc
d0a0dff8874138369df2454e9bb39940 166291 science extra boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz
b1762bb9c2395333aa6ad03d510a7f21 188678 science extra boolector_1.5.118.6b56be4.121013.orig.tar.gz
1361f44eea9cf0e8eacb8aa7a4540dca 4827 science extra boolector_1.5.118.6b56be4.121013-1.debian.tar.gz
ba27cf00b25ce6bfc7402088b9008d0c 346540 science extra boolector_1.5.118.6b56be4.121013-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAlB9bwoACgkQvx6dH3bVKsRNyQCff1dIG7LmCX88zUSm8J42HY//
/3UAniVMpvCOhLbv9xfotMtIN786NU6U
=0iSn
-----END PGP SIGNATURE-----