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

Format: 1.0
Source: minisat2
Binary: minisat2
Architecture: any
Version: 070721-3
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
 19def9727f3a642f3f520b22f7c2c21194ec1643 3887 minisat2_070721-3.diff.gz
Checksums-Sha256: 
 72bfdc8aea7e67c8ece1ab5f3b351471e8447fcbe2e8d48095763ec5b7544396 31937 minisat2_070721.orig.tar.gz
 b5afb71cae2cb897b1bd75b09b818dbb2ca4f8ea7f197d03be1915091c572081 3887 minisat2_070721-3.diff.gz
Files: 
 12c92a89e69b5a2d651251c7587a7fc8 31937 minisat2_070721.orig.tar.gz
 7394c201c98448715b0895f03bcc2f78 3887 minisat2_070721-3.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (Darwin)

iEYEARECAAYFAkhYM9cACgkQvx6dH3bVKsS+QgCgiV5WLLnTKjnYWlG9/7DCvx74
tyoAoOpA3LMi/Ouy1jB1/j5qjsvU5Juv
=j2wC
-----END PGP SIGNATURE-----