-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: minisat2
Binary: minisat, minisat2
Architecture: any
Version: 1:2.2.1-4
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://minisat.se/
Standards-Version: 3.9.4
Vcs-Browser: http://github.com/niklasso/minisat
Vcs-Git: git://gitorious.org/minisat-debian/minisat2.git
Build-Depends: debhelper (>= 9), libz-dev
Package-List: 
 minisat deb science extra
 minisat2 deb oldlibs extra
Checksums-Sha1: 
 38fc59a6a400127ae51e8fc7eb9cfd27e1b85d20 44229 minisat2_2.2.1.orig.tar.gz
 4fc1256b510cdd6be294d1c45d6ffef595978b3d 9388 minisat2_2.2.1-4.debian.tar.gz
Checksums-Sha256: 
 e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40 44229 minisat2_2.2.1.orig.tar.gz
 c4e25c2127aeb3eeb14bc8fdec4bfdb3ad4d1228fc7b7fb0fcd414cc12564dbb 9388 minisat2_2.2.1-4.debian.tar.gz
Files: 
 27faa19ee0508660bd6fb7f894646d42 44229 minisat2_2.2.1.orig.tar.gz
 c5d140d50e102b9c160e3f5be0e451c2 9388 minisat2_2.2.1-4.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: GPGTools - http://gpgtools.org

iQIcBAEBCAAGBQJR4GwRAAoJEKjvEonjOGdB0qcP/2KRrRy5aSEpu8ZCb1ITfASy
w4nMtXzMu3WdRVfYP+Ypnnt5NFUoBjzcEoiGGPZQcW9Ofn1xjfnKTNXWeikHIEpe
ZOAuIsbHJb0eeRa7oWR3JeCVkIR12KRm3Vxwoh+Q3bNQLleCQ3sswCg9YwY7wXi/
nmuSraRAaZbA6GbS3wIxg3tx8a1wvFwTBZPhaX6tSDNerr1iT1x68Gkpa12b2u9O
zTqe7YrlWgp5CNj8c7IzXt5Uo8GlacdnMUphkEKWIeHmmcusQ4mLfKJmoqsiLtNO
kuWfa9pBjZbkIE3e4QolC6vApLa6sl1eqSwgH2s/vvDApPf1OFbxctR/aSRvVdOg
rJdTD0rL6A4ODknsoPpXYvyKy1y2KkcOZPpnLfXeo0SpPIX5NNsonGja2MJKMBDE
LzIV2BYiqREJYCcSC6MlG3odhZ0T6IaMCt7dqViCM+vmm4YZG2lrat0hhyArT7Qa
JbHPCRNJL9p/HXxFf3oIJfgsZQdhyuvOLSiQCexL/MWK0F8gaE+SCOFn2CNsTr9K
4jZYwrkTM3TCE51BGcxtbW31Rbtdolc3woGXhx5k7bQKgWH46jeMYwvGigezdlD6
H/2YtFvQsYtdj9dORDrZ6OKgfc8E8ZNx66LNRHTdHB1DSuJG+i+a1F4+ovsl6k1K
Z0me23qBKckmgQtVMIhL
=QZYq
-----END PGP SIGNATURE-----