-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.0
Source: minisat2
Binary: minisat2
Architecture: any
Version: 070721-5
Maintainer: Michael Tautschnig <mt@debian.org>
Standards-Version: 3.8.0
Build-Depends: debhelper (>= 5), libz-dev
Checksums-Sha1: 
 1a5437469e90a691ee0c4a374f6a22fbc8e8f6a4 31937 minisat2_070721.orig.tar.gz
 de2b18945ba69a43301fb5ddb97975266ff404c0 7289 minisat2_070721-5.diff.gz
Checksums-Sha256: 
 72bfdc8aea7e67c8ece1ab5f3b351471e8447fcbe2e8d48095763ec5b7544396 31937 minisat2_070721.orig.tar.gz
 597baca86db95a0cb4dc6f0af42f782b2cfb19c30fac926594e887a0afd914b0 7289 minisat2_070721-5.diff.gz
Files: 
 12c92a89e69b5a2d651251c7587a7fc8 31937 minisat2_070721.orig.tar.gz
 2a7f819a45432227bd99ecb396c5b6c2 7289 minisat2_070721-5.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAkjEJy4ACgkQvx6dH3bVKsR7AgCg5nnbaYBQBepugpNb0aiFONzp
he4An2yoMWxeW6bGVAGbYiSm+br9ELkM
=kPmG
-----END PGP SIGNATURE-----