-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: minisat2
Binary: minisat
Architecture: any
Version: 1:2.2.1-8
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://minisat.se/
Standards-Version: 4.6.2
Build-Depends: debhelper-compat (= 13), libz-dev
Package-List:
 minisat deb science optional arch=any
Checksums-Sha1:
 38fc59a6a400127ae51e8fc7eb9cfd27e1b85d20 44229 minisat2_2.2.1.orig.tar.gz
 6bc6024c8b1cc283c0b79c688c634bea5a390290 9864 minisat2_2.2.1-8.debian.tar.xz
Checksums-Sha256:
 e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40 44229 minisat2_2.2.1.orig.tar.gz
 f89f4f9c4ddf57bb7cdf3aa77810b9042e2aa824197ebc5bf8faa5fda5d1745d 9864 minisat2_2.2.1-8.debian.tar.xz
Files:
 27faa19ee0508660bd6fb7f894646d42 44229 minisat2_2.2.1.orig.tar.gz
 262370b7be51773ccbedea58c59bd1df 9864 minisat2_2.2.1-8.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJCBAEBCgAsFiEErKbD9OEAOYbzU4gEO7+DkzbsqTEFAmXcwZcOHG10QGRlYmlh
bi5vcmcACgkQO7+DkzbsqTGEVw/9EJyXgp2xUit59Wfp/cjb3O/MiVPEp9cXGdeO
1m8fC/Dw544vVx9IwKuZntAh26mTeo0pBIBZFccrldSx3Sf+25yulJH39d0//1zN
jGbNlI83amyUOAA9xdRZ/DhQxA9c7txOyiisdABxUz9MCCcULjpcXp9ieR9+QaSo
hNkveZf9bCLmaBeHqggwczGCk/ZVMPbPBJkgQn7EJCpK+ScCm2yDDSVQjECw8Rhn
Xw1RP/z1eq06ukkXEHreKRVS9w9nIZiJ5y8z0CACwZzkLQrNymIRrPqw7gBDEdyk
1jaykST3xVdHdPpEuOjTyMAcmVNVFQTGrcJT1eheOXRawO2nZsAfKUZbfIsctp6g
6zeWb40vO+djDx1g4RbvOz9K7nFhhvsMxGJUTqjAOw98etgklbC8SXyiyVqdUde8
rg9G4WOl9Cvaiv9TcvvI+O8ceuxZJ+UasBtQOnT8+HXvGHUK/vM8n/sGtUOJ+vLi
L+jJSeO54Vw53ec6qzmvROwKT1XbH6Vs+rq/1Q5A0rTTYycVTfKF60RufwF41IHc
UeYs5bOE4qYb8xRl4AWheoD1y3SOe90czwpZWjY/N5xNuf5aQUgkEN50nEhQqZMD
nJNp6N/KiAPnpS6W0BAGQnPxaTpkGwG/CoI/aMKO6wjrniXeIfxQD9D+tpb6Ek5T
iHIz4Yw=
=pM4G
-----END PGP SIGNATURE-----