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

Format: 1.0
Source: picosat
Binary: picosat
Architecture: any
Version: 913-1
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://fmv.jku.at/picosat/
Standards-Version: 3.8.3
Build-Depends: debhelper (>= 5)
Checksums-Sha1: 
 9cef6cbbab5863a076f22e7785a778e1730ea25e 44863 picosat_913.orig.tar.gz
 5f883ec43b2e1ac5d239924d06abed239c2681d6 3425 picosat_913-1.diff.gz
Checksums-Sha256: 
 b951d1eff62a309bc28bb453d1c18a705c107cab50730029f21f3ffb37c67e78 44863 picosat_913.orig.tar.gz
 4c1f205827a889cedcd4f2469acdc16da7c00e1d20c277cf409eb4e444f787e3 3425 picosat_913-1.diff.gz
Files: 
 e658fa16cd71ff2cafae190a905a93c6 44863 picosat_913.orig.tar.gz
 eebfb26c9702866985189b097370b214 3425 picosat_913-1.diff.gz

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

iEYEARECAAYFAkrvSowACgkQvx6dH3bVKsRAtACfcvSDdtqXgFYh01HYNqLFsvB0
MNMAnjezrCe5o5hJjMk38mXCtRaUoFwD
=J1oE
-----END PGP SIGNATURE-----