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

Format: 3.0 (quilt)
Source: minisat2
Binary: minisat, minisat2
Architecture: any
Version: 1:2.2.1-5
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://minisat.se/
Standards-Version: 3.9.5
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 arch=any
 minisat2 deb oldlibs extra arch=any
Checksums-Sha1:
 38fc59a6a400127ae51e8fc7eb9cfd27e1b85d20 44229 minisat2_2.2.1.orig.tar.gz
 7e13866f0217cd5afc1060237b09facda071bf8d 9348 minisat2_2.2.1-5.debian.tar.xz
Checksums-Sha256:
 e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40 44229 minisat2_2.2.1.orig.tar.gz
 569d2e327a231e16cec180db6016345ca626d803746936dcf4bb82fc738ad9a4 9348 minisat2_2.2.1-5.debian.tar.xz
Files:
 27faa19ee0508660bd6fb7f894646d42 44229 minisat2_2.2.1.orig.tar.gz
 e955db0db0eb10fa1d71e5858e60ee33 9348 minisat2_2.2.1-5.debian.tar.xz

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

iQIcBAEBCAAGBQJT2MFdAAoJEKjvEonjOGdBExkP/3ObqriRSdJCbrjrDc2RpJp8
esnjl5rgqBI0C+3tz8MA6pc60+Rm971syuuOkfjLLf2TSX+EqNUGp7m7lVbKBXmL
QOI2ce9SIaNxzjiQySGpaVvG3xbqdSC8TuGSLVNBXpk472DSGGSjnQYJgtYZ0uCA
EoamoDYbWGjDPE9dMbRHDihFgZziNT7V7kN8qgxosbHz3Kp/O/0Y4HB6vwuwMKeW
pL2FLATUcA8FyiIvYop6kSg5wU+SxPixcEILpTC7XOTlqbdn9ZBvRWphYeTECSLt
cxNglzj/TsNOR/l4440HCSe1c4641eIyQDJY7KQ4ey2lTfbUfZY8ZMD5Gj3tHWb/
P24igpymSdAVvQiu9mpHXskQkNl1UcG2bNY6rkvjyjyRG6sAAFiRMawlZ3W/H7vi
MvEs5+HrerhdXI+Dk6AcNa99DGJsCishEKERQH4S7lZN5Ywz0BH0UTfzvOiQKpBS
hMklYvflZo2lTCxq4nAsmsAY/VkiOl8jC7gHe3yZ+0D9DqqpHrjkR2BTSCTXgvzg
qaazpdLI9rR/14bo3KBHO6lgLAb0/8SCy3mFESJkhvRC6oE4NEk/Q9Pp8sSWlH/I
LF1OeoSi6LwuMpbwz05Vr4SNhFeL3K2IxE7kNfFjFTR7lZdpaKqP1wcUMmTKhZle
Cj109hOJin7nY4O0rTgh
=+Lnf
-----END PGP SIGNATURE-----