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

Format: 3.0 (quilt)
Source: minisat2
Binary: minisat, minisat2
Architecture: any
Version: 1:2.2.1-5build2
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 26303aee1a62bcfb8a4d3d9e770e5046f334708f 9528 minisat2_2.2.1-5build2.debian.tar.xz
Checksums-Sha256:
 e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40 44229 minisat2_2.2.1.orig.tar.gz
 de08712038469d6b3e8c209960841b13b3fe8fda1d7b5dd4b942691c3d03e798 9528 minisat2_2.2.1-5build2.debian.tar.xz
Files:
 27faa19ee0508660bd6fb7f894646d42 44229 minisat2_2.2.1.orig.tar.gz
 c180b8f53a278f09891d07db771eb1f4 9528 minisat2_2.2.1-5build2.debian.tar.xz
Original-Maintainer: Michael Tautschnig <mt@debian.org>

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAl53kZsQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9fb4EACM8K5luk+PtDcfDukrZr9oTTLACrlB4MhR
fRRP4K5qLknF1GhV3D0N3z5uHfWzli5RAFEbo3Zs7axS/bRmob/DqR1VA2HqOZhv
u7a/wqrPT3Px318k94h4Ni5MnsHRZi5B5S5lj+ennKZ0iqj2NCM7TSf2KuhfdVDn
E81VIA2upUOre/mfhfI2E1JGT0yUe2KFsNnDr22Vlrj9W0Cq5ZctEUlY1hSvCKlW
TbFEYyrc/VkoNmZNz7CsUXsqrtw0Mjc6CP6xyUx4TlqEwRfFy9hLugsksnVwqiRu
I6klNHN8sxUeWaW785iDL35peMkuR4PUeBHxog+esaaYqu9zU4nf6tsipdhOJj/v
6mBUxJwV93H+fSVq4drMWn5BzjDR/NXUYHY/G0FdLwqVTHrQrWYsijier04D9u9k
smIdhrAUrp4UaZytxzUL83ni4kaUDQK8+hg3D84XrlsfDcjaeWG9GSgZLli+9J/S
bQ4pgfLPMapByHhEdyyovWJmeo5QGexPKIB1P7FwDG0hVpIKlYPvnZj7BTrWq+6a
6PnXaYNZWMdnhf1eo0phDLTkJhsb52ml4Pzv1L+WbyMMiMqUOa3C2NrWJlY4CNwL
a0izAAElYrQIo93G5dLlxI8wInbVj8sXUSA+mSoa/VKnA0eaM5xILqMb+OstxHGe
8+zY2i/UMg==
=v/ZH
-----END PGP SIGNATURE-----