-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 3.0 (quilt) Source: picosat Binary: picosat Architecture: any Version: 959-1 Maintainer: Michael Tautschnig 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-----