-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 01 Oct 2008 00:07:53 +0200 Source: picosat Binary: picosat Architecture: source s390 Version: 846-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 (846-1) unstable; urgency=low . * New upstream release * Added Homepage: to control * Added watch file * Updated man page to reflect new command line options Checksums-Sha1: 3947b29abf89dfd53fdb85fec3eb36c7e7996d01 962 picosat_846-1.dsc 5be4fda86bcd8cf1da3ce5a52ea8fd1255b8b2f3 42961 picosat_846.orig.tar.gz 12095ccf7c8124f3e8c9dcecdda852dadacb70ea 3196 picosat_846-1.diff.gz d27162da5036346edc9af5b38bc2ee77b6526ff0 38644 picosat_846-1_s390.deb Checksums-Sha256: d871671abfd2c387ad8d945c0e46070e7f2068f054c04152cb2a2267165d64db 962 picosat_846-1.dsc acd1b145fdc3bd8d336a5e0da727e7029db341b7a9139c50a58d0c53f786fd89 42961 picosat_846.orig.tar.gz 9f0ed8748361d0cd956222528cb1d88b5f6603dfc5382a9c0400079ed86dd58e 3196 picosat_846-1.diff.gz 9092a22d8a6d0f5ac44c92f60e11f568f87423a1aea9f972012511c5bda9a289 38644 picosat_846-1_s390.deb Files: ae41c6f5cd9976702ede7e6f2aa94fb2 962 science extra picosat_846-1.dsc ac5940e18a814431833883c4e6f0d9e1 42961 science extra picosat_846.orig.tar.gz 053c05f0d6bcdd90b2cd372eb8fc13e3 3196 science extra picosat_846-1.diff.gz 8dc7bd5a4f64662246ff5b4a86b685cd 38644 science extra picosat_846-1_s390.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkjipvwACgkQvx6dH3bVKsQ2ZACg6fi1mmHM1ugQCpV1HpSc+Eja BZAAoNc0PdlpVg29HkyJKHYS+Q+mS1Jy =HSLU -----END PGP SIGNATURE----- Accepted: picosat_846-1.diff.gz to pool/main/p/picosat/picosat_846-1.diff.gz picosat_846-1.dsc to pool/main/p/picosat/picosat_846-1.dsc picosat_846-1_s390.deb to pool/main/p/picosat/picosat_846-1_s390.deb picosat_846.orig.tar.gz to pool/main/p/picosat/picosat_846.orig.tar.gz
