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

Format: 1.0
Source: minisat2
Binary: minisat2
Architecture: any
Version: 070721-6
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
 1fb3777b65e55b34ecc05bcec298f9fdbadc1020 7599 minisat2_070721-6.diff.gz
Checksums-Sha256: 
 72bfdc8aea7e67c8ece1ab5f3b351471e8447fcbe2e8d48095763ec5b7544396 31937 minisat2_070721.orig.tar.gz
 5d14e840605bba20e05ed54b60f8a34fe5d089d8b4f688be02f3c7e4f17c3bae 7599 minisat2_070721-6.diff.gz
Files: 
 12c92a89e69b5a2d651251c7587a7fc8 31937 minisat2_070721.orig.tar.gz
 775d56abe85cdb701ac187da3d6d209b 7599 minisat2_070721-6.diff.gz

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

iEYEARECAAYFAkkEx7MACgkQvx6dH3bVKsR+ZwCghIpuxOUP+mK4wcTMq9NIMuMy
6bYAn0VgzqquocDvJj8TzTGLfz2oAfFb
=mdbX
-----END PGP SIGNATURE-----