Accepted picosat 959-1 (source i386)
-----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-----