-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 28 Jun 2014 17:37:26 +0100 Source: picosat Binary: picosat Architecture: source i386 Version: 959-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <mt@debian.org> Changed-By: Michael Tautschnig <mt@debian.org> Description: picosat - SAT solver with proof and core support Changes: picosat (959-1) unstable; urgency=low . * New upstream version * Bumped standards version to 3.9.5 (no changes) Checksums-Sha1: 66d5c82eadeb4789dc6dc40b594f73057c5c966a 1722 picosat_959-1.dsc d09d64a7e80b5af550710c57ced60afbd3224382 63240 picosat_959.orig.tar.gz 59f5839449da0c719a46c026bc94b8694f43c50b 6128 picosat_959-1.debian.tar.xz a44d5c4c482d07e6d0c961255f854a83cdde80ce 148070 picosat_959-1_i386.deb Checksums-Sha256: 072852c65a73c5f8593b6ede4fa077e43152260d7808bf69fcd8edcbdbe65e07 1722 picosat_959-1.dsc 00125e43df631327e61c14bc893ada3f1e7333f98e981cca6dc886c3d76b171d 63240 picosat_959.orig.tar.gz f1823c28da76a6b519d5234f8769a20dc83c4fab74071907183bf0c6502d5eac 6128 picosat_959-1.debian.tar.xz f6f24c038a5363c48716aecaca5cfe117869ed2f77dd4efe05c20f6411281c5c 148070 picosat_959-1_i386.deb Files: a7e5a1a1e864ba3706f77e066fa365b9 148070 science extra picosat_959-1_i386.deb b33fa2b75136514c3c5683881a5e1074 1722 science extra picosat_959-1.dsc 7f4d37f4ff6b1073f67e9231c0d30411 63240 science extra picosat_959.orig.tar.gz fc865d8ee2fca093cc46d7da06d429a1 6128 science extra picosat_959-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: GPGTools - http://gpgtools.org iQIcBAEBCAAGBQJTrvI3AAoJEKjvEonjOGdBWL4QALAo9g/FMV3kygqBzEDUO6Y5 kwJJAHuz8bmCjFZDkwZRA/ZcD4+976m+yzGNHg+eySATP2L8dUTYBy8jPBuGCmNa 0ehyCcmAbi93/FIeBo2kQqHAggj6Qmlo7GoxvKHL3lULwRpZtutV9wxKImmaHGml SIXa1X8+EXveZ4tW/nShHZuE1Mc8FWzxDdik0JZxFWMA6KGEL3ewV3wFpYkglOB1 NU/GU5LR1w7VtRDZPpG1PM+WvQSjpfZiL1dvHnyhawhRu91p63kb/Tf5BAiQlWNE rqW/f3DRNdZi3SPZDA+JAq8SmkDyY/1Q2XNj6kdG9W1B+8BIDzOhomv4tZBzvFIx dFoR6BGGH145gSRdZxQLE2r3SAdC2VXsQpstlzat50VJCL4V/J5cwrNSNnF0Jvq1 4T6vNKGI53xyN/hzOOUAe7wa1Pt5WnqMIfk3PfnpZFxUBkeMpQXESiw/EZa0VuPB JcmFLD+JlLRXrd4VvLdERI8MeCXXFQxUAdUs2Cbvgb2UQSbAXgODbsSsDWh2y7nf lwhPddMQvGCqRsgDAXVJCIlJ73bxwo34pyqprTONN0LGCSWq/38+9XHPRG8fUbop IbhcQdKLhYiZGeJ5Ox/KhbXknWd0NxKFPevpxxhZDp09VJeC6OJ0DDhQaCLE+u99 jrMCFlfe67K9F3ZbFfIL =mfve -----END PGP SIGNATURE-----
