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

Format: 1.0
Source: picosat
Binary: picosat
Architecture: any
Version: 846-1
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://fmv.jku.at/picosat/
Standards-Version: 3.8.0
Build-Depends: debhelper (>= 5)
Checksums-Sha1: 
 5be4fda86bcd8cf1da3ce5a52ea8fd1255b8b2f3 42961 picosat_846.orig.tar.gz
 12095ccf7c8124f3e8c9dcecdda852dadacb70ea 3196 picosat_846-1.diff.gz
Checksums-Sha256: 
 acd1b145fdc3bd8d336a5e0da727e7029db341b7a9139c50a58d0c53f786fd89 42961 picosat_846.orig.tar.gz
 9f0ed8748361d0cd956222528cb1d88b5f6603dfc5382a9c0400079ed86dd58e 3196 picosat_846-1.diff.gz
Files: 
 ac5940e18a814431833883c4e6f0d9e1 42961 picosat_846.orig.tar.gz
 053c05f0d6bcdd90b2cd372eb8fc13e3 3196 picosat_846-1.diff.gz

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

iEYEARECAAYFAkjipsMACgkQvx6dH3bVKsTOvACgzbAN+lP2TG2Rp2OOrrtyrJBP
DuQAnioHMcmEMUqDKktM4s/3REEsIfRL
=MXVb
-----END PGP SIGNATURE-----