-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 3.0 (quilt) Source: boolector Binary: boolector Architecture: any Version: 1.5.118.6b56be4.121013-1 Maintainer: Michael Tautschnig Homepage: http://fmv.jku.at/boolector/ Standards-Version: 3.9.3 Build-Depends: debhelper (>= 5) Package-List: boolector deb science extra Checksums-Sha1: 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 Checksums-Sha256: 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 Files: d0a0dff8874138369df2454e9bb39940 166291 boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz b1762bb9c2395333aa6ad03d510a7f21 188678 boolector_1.5.118.6b56be4.121013.orig.tar.gz 1361f44eea9cf0e8eacb8aa7a4540dca 4827 boolector_1.5.118.6b56be4.121013-1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAlB9bwYACgkQvx6dH3bVKsQ9LACgw3whc2A9z1AVD9Nk+aFyLsUv MDsAoJ5BM+xyPqZkZb84n6GYuAhDOL2G =ablK -----END PGP SIGNATURE-----