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

Format: 3.0 (quilt)
Source: minisat2
Binary: minisat, minisat2
Architecture: any
Version: 1:2.2.1-5b1
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
 64a93186edd23700e646ed6a7c7b29ca8669fb75 9452 minisat2_2.2.1-5b1.debian.tar.xz
Checksums-Sha256:
 e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40 44229 minisat2_2.2.1.orig.tar.gz
 74fde43c2dd6d68e0200dcfb394fa3b6250bbb2a61fb783ebc5eba27f23438dc 9452 minisat2_2.2.1-5b1.debian.tar.xz
Files:
 27faa19ee0508660bd6fb7f894646d42 44229 minisat2_2.2.1.orig.tar.gz
 956d2618af0f19d2ff6020234fa06c74 9452 minisat2_2.2.1-5b1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBAgAGBQJV4BEfAAoJEKBN28suwKn/F+8QAKzT9AvK+dr90W2cRcaBBt/o
yUbUBooobBHksF85KzSPk4bVgU3/O0pMQrITUnmgEAtDCllpbHGU0w5jy5+trGbT
NEGkS3SeyygZokDmhDVTElhquBxu3PuLB3vPlwsF8/T2OPB3/TzOAN2CbnA7R5cD
v5LOrYzuf/95ACPx/IIUuJwQpcYaMZGjIDAbZ0GSGuIQoc/wQ2XMXA23szXkSIf4
hAUHC+4TQi/2Ye7VNe1ZKG9k0mCMiz+R1pOTpG4v+HnnyP5Z6meIYODaLdsjPnst
l43WxP6aro6da2SE/OuGzKNuUgIevy+BH2dFMJ7A4Sy3NgWR6F8n2f+d31p/9lUO
6mdYwl0sy6QQ7XXYL2HxC2tqFBfsEibSvsd572LvQhNEO/Fok+hceL+xH+xNR+6h
Ot0GN8NqLy6xdrR5t2ZpICHRAPUHmv2zlwAhpWkwtpjrYByv3x9C0oOJ/CNJxjbI
CR8c34cVnH4cpFfHChbtRbPzdNWvcORZTWZyWoDKUkowjUNLf12uxKXjnv9O0TMP
YVsQ+2Ht89ajd91OkD1cyyq/g8IF8S3O2IvI9Ao/zH+B7Dygw3BtxAcDBPcp0AdT
9SMs/D0jE7rCiz+5Kg764w5elc4VFO5O7qOVBE+eJ1s8uzcUcVNIXTp6e6Zafg6R
xDwtcyr0ILJOBl27emPn
=3QLA
-----END PGP SIGNATURE-----