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

Format: 3.0 (quilt)
Source: minisat2
Binary: minisat2
Architecture: any
Version: 1:2.2.0-2
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://minisat.se/
Standards-Version: 3.9.0
Vcs-Browser: http://github.com/niklasso/minisat
Vcs-Git: git://github.com/niklasso/minisat.git
Build-Depends: debhelper (>= 5), libz-dev
Checksums-Sha1: 
 1df7325ef208f39b44ba8f29df1c0dad4a404e7a 43876 minisat2_2.2.0.orig.tar.gz
 b1e8925eebafde4cf86c6cc4ca66ae5903981d5e 9783 minisat2_2.2.0-2.debian.tar.gz
Checksums-Sha256: 
 26957f499f5e557cb45cdbb30e8402b7e033ca2080a98bcb14c769028284fb06 43876 minisat2_2.2.0.orig.tar.gz
 e5844690df9282c65e2c549ea20b714812cc21a4d612789bff1465a9ac721204 9783 minisat2_2.2.0-2.debian.tar.gz
Files: 
 a27b001af99c07308fe1b1ad94e402d8 43876 minisat2_2.2.0.orig.tar.gz
 4c696edecd19351f963e1e7ce484aaa9 9783 minisat2_2.2.0-2.debian.tar.gz

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

iEYEARECAAYFAkxMnKUACgkQvx6dH3bVKsS62QCgyF/40XPEaeFusy404+Rfp/PR
CZEAnjbUYYi1qM9VjxvHnLCXsVjxN5e6
=QoAf
-----END PGP SIGNATURE-----