-----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 <m...@debian.org>
Changed-By: Michael Tautschnig <m...@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-----


-- 
To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
Archive: http://lists.debian.org/e1tlnga-000357...@franck.debian.org

Reply via email to