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

Format: 3.0 (quilt)
Source: minisat2
Binary: minisat
Architecture: any
Version: 1:2.2.1-8build2
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 74cf9b311b9e25be69e83f0e307fe3f336d3d1b9 10028 minisat2_2.2.1-8build2.debian.tar.xz
Checksums-Sha256:
 e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40 44229 minisat2_2.2.1.orig.tar.gz
 1b123503e361356c77bd5272d333fd174b7ca69ea2d0542c7fd1056853c0cce0 10028 minisat2_2.2.1-8build2.debian.tar.xz
Files:
 27faa19ee0508660bd6fb7f894646d42 44229 minisat2_2.2.1.orig.tar.gz
 03a62df0e7693014f52f119bb099fc50 10028 minisat2_2.2.1-8build2.debian.tar.xz
Original-Maintainer: Michael Tautschnig <mt@debian.org>

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

iQIzBAEBCgAdFiEEJeP/LX9Gnb59DU5Qr8/sjmac4cIFAmlBw88ACgkQr8/sjmac
4cK4EQ//YDOI/BYUMJqyypM3TfUJnSngnPuUTJ29yXtdorHlrBAtBZ2N3xbyuwiM
1ks6s65oDLFywOkHnKfQwvSGBxq5TRGlVyJ9q8X064a0Yp79UnjKZh3XnUcDCs1J
CeeglVQa1taqv+r/FlhtQFqLOyRJYxXLBORVGQEib57TpqHwqm8HZacWALhlWRo1
QKoe1Tb+qASY2b9pEy6+fpl9LGlzFcxOqmMcXMENpEkK8Twywx9jx/l5Vvc/ioP/
Cbdu/2NgcCDoBMkzABdZ7rg0uoi5+XHXTQMoGFYabPUqz/JY+FgkvdGBnFHe9EWv
hbV0vm0FxvybjU+dbPPFPz+8vTzifszVZuy7MTFicLNZu+o370fFxcMzu5PnCR6L
c/NWb+yWqfooBPXOzQSjPAWCdmnPKtXq3uK87y837/XC0l+3nbDND7+h3xiyaBjK
imJDldJvpHir1W6QSVmkbi8/62n1f4kaTMV0FWfgScOG2fFzZRmvNfPrMFGcbQmi
6Dc5RKapQdlNbUMOqo5MxqBcT/5jZkdH7tjRm38TQcXdzFlzFGDkVwCOcePytGuq
UD36KjN/Jrkvfxi/rcKRQzd2kZHbChJjSk3s9KeX5Jn83Glf/uMCWjn3dKfSwVJz
7VKtrMSsQHvIF38RS7zcmcg/nVxsu8DZNKvAW6aUBhcB2ghcou4=
=6DNs
-----END PGP SIGNATURE-----