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

Format: 3.0 (quilt)
Source: minisat2
Binary: minisat, minisat2
Architecture: any
Version: 1:2.2.1-3
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
 519c62879dafc04a3ee3d5854fe4d1915be3fd88 8611 minisat2_2.2.1-3.debian.tar.gz
Checksums-Sha256: 
 e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40 44229 minisat2_2.2.1.orig.tar.gz
 14d9c7021fa364f03d20a13e03f03f248d769a04d421f7865c0090ea2a8594c7 8611 minisat2_2.2.1-3.debian.tar.gz
Files: 
 27faa19ee0508660bd6fb7f894646d42 44229 minisat2_2.2.1.orig.tar.gz
 7267ca50b9a4e2b628fcd2e702a259c6 8611 minisat2_2.2.1-3.debian.tar.gz

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

iEYEARECAAYFAk5iuEgACgkQvx6dH3bVKsSZEgCdH7GzyAJipinji4ca01IIkjDa
pFQAoOA+YoBuw+BAcdeKlzFACK5smTDN
=Lovz
-----END PGP SIGNATURE-----