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

Format: 3.0 (quilt)
Source: minisat2
Binary: minisat, minisat2
Architecture: any
Version: 1:2.2.1-2
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://minisat.se/
Standards-Version: 3.9.2
Vcs-Browser: http://github.com/niklasso/minisat
Vcs-Git: git://gitorious.org/minisat-debian/minisat2.git
Build-Depends: debhelper (>= 7.0.50~), libz-dev
Checksums-Sha1: 
 38fc59a6a400127ae51e8fc7eb9cfd27e1b85d20 44229 minisat2_2.2.1.orig.tar.gz
 385a00c4a2b3185ef32a31444333e0cf27a7e193 8381 minisat2_2.2.1-2.debian.tar.gz
Checksums-Sha256: 
 e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40 44229 minisat2_2.2.1.orig.tar.gz
 970143c1692a0ed348cee26fc64bdd764d77f2761d63f58ab2887ad7639c174f 8381 minisat2_2.2.1-2.debian.tar.gz
Files: 
 27faa19ee0508660bd6fb7f894646d42 44229 minisat2_2.2.1.orig.tar.gz
 2b9671c777995d166ca29b5084b401a7 8381 minisat2_2.2.1-2.debian.tar.gz

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

iEYEARECAAYFAk32DggACgkQvx6dH3bVKsTw1QCfVt2HC2kJ6dZds9TFO4siImmN
eWoAoKEAyjebbJLNP2jToZnkdZjrB+R7
=QgzX
-----END PGP SIGNATURE-----