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

Format: 3.0 (quilt)
Source: picosat
Binary: picosat
Architecture: any
Version: 936-1
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://fmv.jku.at/picosat/
Standards-Version: 3.9.1
Build-Depends: debhelper (>= 5)
Checksums-Sha1: 
 adc22276a64817b9db178b1ea262e1f3b72fdec7 52159 picosat_936.orig.tar.gz
 9b3b12197c03667a22f6a62b260cb95b43e42f70 5408 picosat_936-1.debian.tar.gz
Checksums-Sha256: 
 36244f3f76f7cbc44da04c7b510c833944e3dc085273134441404b571d32180a 52159 picosat_936.orig.tar.gz
 f15390092a4c80b0e3d9c39e5522dd96d1dc8cfe7718e1825f29e4f80d75840a 5408 picosat_936-1.debian.tar.gz
Files: 
 0ad8404c134653d1e40f8fcd3a93a991 52159 picosat_936.orig.tar.gz
 311361a2fac8bd2cd41566d1be65218c 5408 picosat_936-1.debian.tar.gz

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

iEYEARECAAYFAkxpN5UACgkQvx6dH3bVKsQDawCeJXjbXoPPU+oMVCTVditGX3/+
a0sAoJme5bZxd/bXdnP4kpXOAyL+N/uN
=/KO6
-----END PGP SIGNATURE-----