-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: boolector Binary: boolector Architecture: any Version: 1.5.118.6b56be4.121013-1.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 arch=any 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 cfd3bb4c191e20046af1f4682e2287059ed1f535 4704 boolector_1.5.118.6b56be4.121013-1.1.debian.tar.xz 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 46b9da2978815cdaa340ac58101aee84b2595a5ed6641ee2a324b3e1176ea65c 4704 boolector_1.5.118.6b56be4.121013-1.1.debian.tar.xz Files: d0a0dff8874138369df2454e9bb39940 166291 boolector_1.5.118.6b56be4.121013.orig-lingeling.tar.gz b1762bb9c2395333aa6ad03d510a7f21 188678 boolector_1.5.118.6b56be4.121013.orig.tar.gz 6925d3fda0b2f51ab7767113d45347c0 4704 boolector_1.5.118.6b56be4.121013-1.1.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAmHKGlMACgkQiNJCh6LY mLGTzA//ekVs90l4f04j4LmsbwU8LPp49hbGX5cU4zLRNjZ2XJ1EjvYbsm//j9ZP vZQb7MXkhlFD1uQnyN3L4fYdS+0325DIeVA66JPTNAndSgKgm+rEHUsXiCZGVsCI Gch5eGc7GvpEineJfq6vExBwmDGcnq04hFLGa9ugEGHuc33t0yFqG4K/7zmgeF7h 8x6fNz+NlZcUJjMSZ+zks2qWw/KWMH81p6bMgWlnHFsWoNMQUzDyxCwfzsc03a4Q 7xPBx0TNdGB6tQETelSfWKfk9oFiQqkYXULjZtp/IHMD70jzo50uh7JGhLzdZh74 BK39EKEy3ixMVozStziH3ka5pVwU3idI4OQOHpM7KZNrcJQiB+CfuVlaofe/9u9d 3ar7FIGZbl/wsj7WoiHAUfziSJ7lKh9pq6/4LK8cbtBc5Z3Ec/KKYvYySFfRQBW8 E7hG1gnepAQSQERhi+jquZcqME2JckbwTFkY6nBYlVzwY/4Ttk/WS7HaUwOXr11R gPzfBlnaAPi8dwsvntJw8Q3Fs6bmwXt6dAihGaitNMWPvm3RdlXeYLWbaA88iqDK Ks180ZQzvhncJaq0khiAOneqJIn6AM3LovD2f8nAf/spWtgtAfi/pjnkt8ukAig+ C9VDjsrc3IxebC/GZj7gdUSNByPaMGLnsvAmQXr80vYX5c/2ZmM= =5ZqY -----END PGP SIGNATURE-----