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

Format: 3.0 (quilt)
Source: picosat
Binary: picosat
Architecture: any
Version: 913-4
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://fmv.jku.at/picosat/
Standards-Version: 3.8.4
Build-Depends: debhelper (>= 5)
Checksums-Sha1: 
 9cef6cbbab5863a076f22e7785a778e1730ea25e 44863 picosat_913.orig.tar.gz
 130676e8d88b14771e0d778a73ae3732fc232614 5313 picosat_913-4.debian.tar.gz
Checksums-Sha256: 
 b951d1eff62a309bc28bb453d1c18a705c107cab50730029f21f3ffb37c67e78 44863 picosat_913.orig.tar.gz
 33aaf0f25ac9a74616cae153ed9be84f80aad46bb6035b8a971ad7e4dae56a9a 5313 picosat_913-4.debian.tar.gz
Files: 
 e658fa16cd71ff2cafae190a905a93c6 44863 picosat_913.orig.tar.gz
 f8741b8b81dd123f60fed9dd84830d9c 5313 picosat_913-4.debian.tar.gz

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

iEYEARECAAYFAku3wxYACgkQvx6dH3bVKsRSAQCfWXV3kHLiJrlnbTqFtiLzkr2B
aPgAni8wt1sz64wA8yBNLgPK/CLZEKCV
=1hFN
-----END PGP SIGNATURE-----