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

Format: 3.0 (quilt)
Source: picosat
Binary: picosat
Architecture: any
Version: 936-3
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://fmv.jku.at/picosat/
Standards-Version: 3.9.2
Build-Depends: debhelper (>= 7.0.50~)
Checksums-Sha1: 
 adc22276a64817b9db178b1ea262e1f3b72fdec7 52159 picosat_936.orig.tar.gz
 02727edc2cb9dd9ecd3d3318b5b0d3bc77c09f1b 5459 picosat_936-3.debian.tar.gz
Checksums-Sha256: 
 36244f3f76f7cbc44da04c7b510c833944e3dc085273134441404b571d32180a 52159 picosat_936.orig.tar.gz
 6c6741fa768834e9480afbb9483340695d10cfd67b1fef2e2db44fbc54f642d1 5459 picosat_936-3.debian.tar.gz
Files: 
 0ad8404c134653d1e40f8fcd3a93a991 52159 picosat_936.orig.tar.gz
 d748fb3b95bf0f2af83c9dc6fec4b1ee 5459 picosat_936-3.debian.tar.gz

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

iEYEARECAAYFAk5Bv20ACgkQvx6dH3bVKsSmxgCg7tRm1tbdgxtXhZ9gkqDdvxm7
I6oAnRHbJrmnG3MluRuivEfNtNYCRPLS
=Dv5Y
-----END PGP SIGNATURE-----