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

Format: 3.0 (quilt)
Source: minisat2
Binary: minisat
Architecture: any
Version: 1:2.2.1-8build1
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
 8e6b66401e96e07b9d47338381cac06bf25231ad 9976 minisat2_2.2.1-8build1.debian.tar.xz
Checksums-Sha256:
 e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40 44229 minisat2_2.2.1.orig.tar.gz
 7c803a5bf2872846beb59ce053b2d3afbd5a4fc117ce940a59efadbd15bacd1f 9976 minisat2_2.2.1-8build1.debian.tar.xz
Files:
 27faa19ee0508660bd6fb7f894646d42 44229 minisat2_2.2.1.orig.tar.gz
 7de602294a5a02b16bb0371ff98840c1 9976 minisat2_2.2.1-8build1.debian.tar.xz
Original-Maintainer: Michael Tautschnig <mt@debian.org>

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

iQIzBAEBCgAdFiEEoIn7Nqr72tWswTJQafeQFxohCYQFAmYKWucACgkQafeQFxoh
CYRv8A/+NYufQP2K6djwgIosdNWPiUUyIaze6nIPSoio2/q3WV9UjCHsqfYq8ZDg
5THCixq/eY31+aUBmNhfb7YyYx4l3Y85uudKKN1uGSigLHNv4WPMQz4qzvi7K7lz
9Wr7v54aEhhjFxWA8hqUBWfmZvageYdn/mq87nbynDnLkw//N2TUPoE4wn76cXV/
nONU6LZIkrB3HKNO8j6StQk78UqurVUNJSO4WW4nC/iBIMq0oNnIbktmGsaTxCpJ
AAeHSbQ2YUUZIK7gbjhh4dQu7XkQgUEGlr3XX40wjOY7jczNSuNd1XqUiz9uZDDz
WcU+Jj9nMeWxWquvmU+P8OQHTX/FBCPtuNGlG/w5ph/6Z6XBcVUsRB4RRl1whbvY
0SYfDz4Atc460MUfA3j0FncelMeJ5dzRHvNzQRAwu5A/2PBTFSH6rz1dOHEXWQPs
G6x0aP9g/mIwydAu9ZVqbYlInFYmfmLoxozprRgWFGmiuXu6pr4VqCHtzYwPX8zA
sQNft9x5BNYHgOjY3ibE1eU00II6AHwHlkftHrFP+3w03uqzYxYSn8BWD6lXCMLi
1iFu3lofmxdykI1Ia7p5lJji35ysEuvODdyqMGnlQmfHVnMdFPNwoPhfojEAbEZQ
08y5rgADpeMRTJ6y4Lz3PzYPj81NdZyk0Vo4yFZx+z1XGfNlkVw=
=zbgg
-----END PGP SIGNATURE-----