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

Format: 3.0 (quilt)
Source: picosat
Binary: picosat
Architecture: any
Version: 936-4
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://fmv.jku.at/picosat/
Standards-Version: 3.9.3
Build-Depends: debhelper (>= 7.0.50~)
Package-List: 
 picosat deb science extra
Checksums-Sha1: 
 adc22276a64817b9db178b1ea262e1f3b72fdec7 52159 picosat_936.orig.tar.gz
 7af946eaaa1abd60ab06d00eb17ac7a3b4d750a6 5941 picosat_936-4.debian.tar.gz
Checksums-Sha256: 
 36244f3f76f7cbc44da04c7b510c833944e3dc085273134441404b571d32180a 52159 picosat_936.orig.tar.gz
 1bdea92f52b730047bfe1d8e8632c868cb68c20aba5aebf930bd9ef11d9de081 5941 picosat_936-4.debian.tar.gz
Files: 
 0ad8404c134653d1e40f8fcd3a93a991 52159 picosat_936.orig.tar.gz
 c89c2278aa1967a41c2ebc914e6ce417 5941 picosat_936-4.debian.tar.gz

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

iEYEARECAAYFAk9SpDYACgkQvx6dH3bVKsSbzQCeMDRcDm8uSM1HWD50c00q+EMc
0QQAoN+LgAUSjk3rj+imMr5ovmTK1U12
=vCb2
-----END PGP SIGNATURE-----