-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: picosat
Binary: picosat
Architecture: any
Version: 959-1
Maintainer: Michael Tautschnig <mt@debian.org>
Homepage: http://fmv.jku.at/picosat/
Standards-Version: 3.9.5
Build-Depends: debhelper (>= 7.0.50~)
Package-List:
 picosat deb science extra arch=any
Checksums-Sha1:
 d09d64a7e80b5af550710c57ced60afbd3224382 63240 picosat_959.orig.tar.gz
 59f5839449da0c719a46c026bc94b8694f43c50b 6128 picosat_959-1.debian.tar.xz
Checksums-Sha256:
 00125e43df631327e61c14bc893ada3f1e7333f98e981cca6dc886c3d76b171d 63240 picosat_959.orig.tar.gz
 f1823c28da76a6b519d5234f8769a20dc83c4fab74071907183bf0c6502d5eac 6128 picosat_959-1.debian.tar.xz
Files:
 7f4d37f4ff6b1073f67e9231c0d30411 63240 picosat_959.orig.tar.gz
 fc865d8ee2fca093cc46d7da06d429a1 6128 picosat_959-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: GPGTools - http://gpgtools.org

iQIcBAEBCAAGBQJTrvI3AAoJEKjvEonjOGdBYZMP/1q6uqj0Ge0R24OSE8sov4Z/
Mta+Z1WkDAESHIKMBKxr6Mol4P5sI4+x8IgjW/oURuXyqdcgA6uQtmMc3BZY2xax
ytPgmBD77ZKYwjQhjaZ7BSq2dzDX0qHwdTuYATIIWZc0nIncCwF8P1/oukQXpPRA
LV723L1jo9ztK+u6liPIU1/SDZtEdlff5qt2t4K1MkI31zESDDJI9KSRFht4OuWQ
JHt1aZwTP5YmQhBrSZqk67DCQMMSkxgaQjyXRuaok3QLSz5FmAcP8g6TH3qDrGcQ
bNUWg+mBsiR6nA9GDmmQXaUOdQU8kLuidNiciFaCSEm0QXVPhEBDLYoorQVGzR2l
YlEW0zfTcexMd5Zgt9Qcf4A+1qzQ5qSLreYCP0HECheB5xTKvRfMu85pcx890sPM
JXe6WziLE9qa+DBEA74VnAmiOXOptrmI/X2A2o3AXCALdeeI/xiQ1qKnbkK4Wlwj
vup1A6Z17wIDHItwqlxKDgJamlYqTZ4YStNk6QyCMgIKJBeSSwFwuSjvmkvewCpR
kAnGKI4k5QgmHn9ZYyA9GQIZY6/mwZTU8cqDmEa2l6nzdc34G81eGqXon9Uctv2g
JtZinJTRXhV/9v9OabmTK8D8Y5xQ8MOrW7Y+SmzXijy0HolpKhzqcGvUUMx0DhbG
AHk1I35HvLlhW3bdkbP5
=FLJG
-----END PGP SIGNATURE-----