-----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
