Accepted picosat 954-1 (source i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 20 Dec 2012 20:13:50 +0000
Source: picosat
Binary: picosat
Architecture: source i386
Version: 954-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
Closes: 696246
Changes:
picosat (954-1) unstable; urgency=low
.
* New upstream version (closes: #696246)
Checksums-Sha1:
53980a0c1a145d1e3f006b397de33ece384d4583 1037 picosat_954-1.dsc
2d3aae126e3ed45b83a155fd0a5bd7474e5b14f1 62978 picosat_954.orig.tar.gz
49838065ebe5bf75017c4783d6180fe743f50ef3 6540 picosat_954-1.debian.tar.gz
a6d4e406f2ddd9426829f6d9b454438c4f1632b1 334260 picosat_954-1_i386.deb
Checksums-Sha256:
f4df4df207deb3f9d0900e733f14e50e60d78c811c87abd9ee8c8ef47fee6b7e 1037 picosat_954-1.dsc
1d42116957b82cd69d10b6a8d6b4a55f6e9b8678ac654c74d2ce2b649f82c67c 62978 picosat_954.orig.tar.gz
cc67a625ac7bdcf5ba78251d0bd6a5dd2b8e19834ee96993be3f8b0c92691734 6540 picosat_954-1.debian.tar.gz
3fe5e875b1a4c71e9b67bb6d7a120ad7eaf6995258ec9270a69d06c4a36a9b53 334260 picosat_954-1_i386.deb
Files:
dfce29114bde75df0a634d7f0b5a939c 1037 science extra picosat_954-1.dsc
c50fff32fdbbc1d8f387d500378afbce 62978 science extra picosat_954.orig.tar.gz
c18f6b01fc14623898b6d0a16bb63cdb 6540 science extra picosat_954-1.debian.tar.gz
d5a48b60bac54b370663cb0f0a331465 334260 science extra picosat_954-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAlDTexoACgkQvx6dH3bVKsRuUwCgjLv5rP5PG2ttfsa/ElJ7YC7J
EjYAniKvgS82DDGfVHPANQmsMuiDgrjG
=qeVS
-----END PGP SIGNATURE-----