-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 3.0 (quilt)
Source: minisat+
Binary: minisat+
Architecture: any
Version: 1.0-2
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>
Homepage: http://minisat.se/MiniSat+.html
Standards-Version: 3.9.2
Vcs-Browser: http://git.debian.org/?p=debian-science/packages/minisat+.git
Vcs-Git: git://git.debian.org/git/debian-science/packages/minisat+.git
Build-Depends: debhelper (>= 8), libgmp-dev, zlib1g-dev
Checksums-Sha1: 
 64205f7144157469839994295b95ec9761466f85 79990 minisat+_1.0.orig.tar.gz
 bd9ed6cf7457b6ecd8d6a878a1d38be16784a0b7 3966 minisat+_1.0-2.debian.tar.gz
Checksums-Sha256: 
 f81e8dd76de9d2219e4b555f65354be2f8582f4575b5cc5b5bf34b71f1bd7f4b 79990 minisat+_1.0.orig.tar.gz
 3d9f88e1c10d33c197f21ae5de57d32e7441a2370faefdb398a2f27e241844bd 3966 minisat+_1.0-2.debian.tar.gz
Files: 
 a5910ef8bea269632eff74b54f07010d 79990 minisat+_1.0.orig.tar.gz
 c22d943b0ddfc19e5edf418261a27937 3966 minisat+_1.0-2.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iEYEARECAAYFAk3cAbAACgkQtzWmSeC6BMHcmQCg+75tifJNR0WU2nMesVMOVY20
21IAniIMXSbn9wBkqcyR4yVLOQpb2DlV
=+Vya
-----END PGP SIGNATURE-----