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

Format: 3.0 (quilt)
Source: picosat
Binary: picosat
Architecture: any
Version: 936-2
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://fmv.jku.at/picosat/
Standards-Version: 3.9.1
Build-Depends: debhelper (>= 7.0.50~)
Checksums-Sha1: 
 adc22276a64817b9db178b1ea262e1f3b72fdec7 52159 picosat_936.orig.tar.gz
 513ce750f48a5302dfe7ce51649c453d18ed8a1b 5274 picosat_936-2.debian.tar.gz
Checksums-Sha256: 
 36244f3f76f7cbc44da04c7b510c833944e3dc085273134441404b571d32180a 52159 picosat_936.orig.tar.gz
 36755278796f2aee53b58ff3e389a461f68f0e221f38ed66792421dda5424b89 5274 picosat_936-2.debian.tar.gz
Files: 
 0ad8404c134653d1e40f8fcd3a93a991 52159 picosat_936.orig.tar.gz
 8c02432e68f73638fdb7f4490f09d214 5274 picosat_936-2.debian.tar.gz

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

iEYEARECAAYFAk2R1csACgkQvx6dH3bVKsS+uQCfRCuiNyAgx1q1GccM5dtPUGOj
czkAn3LShkfCScQdJfiA/dtvToWRPBb0
=06ey
-----END PGP SIGNATURE-----