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

Format: 1.0
Source: minisat2
Binary: minisat2
Architecture: any
Version: 070721-8
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://minisat.se/
Standards-Version: 3.8.3
Build-Depends: debhelper (>= 5), libz-dev
Checksums-Sha1: 
 1a5437469e90a691ee0c4a374f6a22fbc8e8f6a4 31937 minisat2_070721.orig.tar.gz
 9df432c3900df752fb6fa17bc9a65f87e88bb677 8260 minisat2_070721-8.diff.gz
Checksums-Sha256: 
 72bfdc8aea7e67c8ece1ab5f3b351471e8447fcbe2e8d48095763ec5b7544396 31937 minisat2_070721.orig.tar.gz
 538efa21004f6d5dd98622d62ecbe9a59624a497e145195ded711711ce3d2683 8260 minisat2_070721-8.diff.gz
Files: 
 12c92a89e69b5a2d651251c7587a7fc8 31937 minisat2_070721.orig.tar.gz
 ed3818deeafa979c248cffdbd93f29b7 8260 minisat2_070721-8.diff.gz

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

iEYEARECAAYFAks6A3UACgkQvx6dH3bVKsQK8wCfQ1De6KMieJogAsB6NrDI+d09
fnsAoIhRAR6riibnZJrcapCunOIesXLN
=1JEQ
-----END PGP SIGNATURE-----