Accepted picosat 846-1 (source s390)
-----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