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

Format: 3.0 (quilt)
Source: picosat
Binary: picosat
Architecture: any
Version: 954-1
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://fmv.jku.at/picosat/
Standards-Version: 3.9.4
Build-Depends: debhelper (>= 7.0.50~)
Package-List: 
 picosat deb science extra
Checksums-Sha1: 
 2d3aae126e3ed45b83a155fd0a5bd7474e5b14f1 62978 picosat_954.orig.tar.gz
 49838065ebe5bf75017c4783d6180fe743f50ef3 6540 picosat_954-1.debian.tar.gz
Checksums-Sha256: 
 1d42116957b82cd69d10b6a8d6b4a55f6e9b8678ac654c74d2ce2b649f82c67c 62978 picosat_954.orig.tar.gz
 cc67a625ac7bdcf5ba78251d0bd6a5dd2b8e19834ee96993be3f8b0c92691734 6540 picosat_954-1.debian.tar.gz
Files: 
 c50fff32fdbbc1d8f387d500378afbce 62978 picosat_954.orig.tar.gz
 c18f6b01fc14623898b6d0a16bb63cdb 6540 picosat_954-1.debian.tar.gz

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

iEYEARECAAYFAlDTexcACgkQvx6dH3bVKsQQLgCgugX/q/7sD8/6ym59YWT0opr7
ZdcAn2uwIciXxjnJlB/wfia6jWNM/Hcr
=Kckp
-----END PGP SIGNATURE-----