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

Format: 3.0 (quilt)
Source: minisat2
Binary: minisat, minisat2
Architecture: any
Version: 1:2.2.1-5+dyson1
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
 da23bb256bb6fd247d4a779b5c943b49392fe778 9676 minisat2_2.2.1-5+dyson1.debian.tar.xz
Checksums-Sha256:
 e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40 44229 minisat2_2.2.1.orig.tar.gz
 f1714497f6043720db7da61768caf0490967f1ed15287938d0f3b8867a6e465b 9676 minisat2_2.2.1-5+dyson1.debian.tar.xz
Files:
 27faa19ee0508660bd6fb7f894646d42 44229 minisat2_2.2.1.orig.tar.gz
 0fde43385eadd3adf89f5698cba6c8a6 9676 minisat2_2.2.1-5+dyson1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBCAAGBQJYNKm1AAoJEKrmiGLPCur/jlwIAKcR/6J4o4r7gRWW2AFbWUeO
Jfh2N6+x+LOslxhxbZis65vTSMl5fon0/SyFGkFVMBdNAIaZ5M81ECiAr6LTxL+B
9snlPQBjNH9VrGuor1h7ybMBTBwQNDQGFHEfcuEHhCnfv2H/R/iYEOmnEHC+YE4i
aSlhOLDPJgj++ScZIdO7lYGLWJio+Ng0QMn4dgEkpbMElt9D8uwiUKLsObVleRv2
uC/NElvs1HWKpGHmAMG6RA+U+u1dtEKmfHApFljpvIHCxv9ah/C7p8HFyAnS1MqA
ENWroa0EzCTaq1/MJKpcTzfvy9QgyqjOo3d5s7jq/cROkimYM8dpJbItiI+E5CQ=
=+59M
-----END PGP SIGNATURE-----