Accepted minisat+ 1.0-2 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 24 May 2011 20:42:23 +0200
Source: minisat+
Binary: minisat+
Architecture: source amd64
Version: 1.0-2
Distribution: unstable
Urgency: low
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Description:
minisat+ - solver for pseudo-Boolean constraints
Changes:
minisat+ (1.0-2) unstable; urgency=low
.
* Patch exitcode: non-null exit code on parse error.
Checksums-Sha1:
fdbe425ffd1ae361a656f3adec4d191ecfa3e276 1262 minisat+_1.0-2.dsc
bd9ed6cf7457b6ecd8d6a878a1d38be16784a0b7 3966 minisat+_1.0-2.debian.tar.gz
9ab525a6c1bb756cac397688c80d8953c737788e 180194 minisat+_1.0-2_amd64.deb
Checksums-Sha256:
ff8609c5efc25c7b87f18f1136e91321964224d1b7fa7bd6d6a0354c7f81e742 1262 minisat+_1.0-2.dsc
3d9f88e1c10d33c197f21ae5de57d32e7441a2370faefdb398a2f27e241844bd 3966 minisat+_1.0-2.debian.tar.gz
0a93438f76eb75f71131813a81b2eb56e6f590601d3506fd4f48fc95b64564d5 180194 minisat+_1.0-2_amd64.deb
Files:
f81d3ad14992f7ffb00136f3839cdf75 1262 science extra minisat+_1.0-2.dsc
c22d943b0ddfc19e5edf418261a27937 3966 science extra minisat+_1.0-2.debian.tar.gz
b99294b78fef3df7c45d9e23df1a6235 180194 science extra minisat+_1.0-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk3cAbMACgkQtzWmSeC6BMGTKgCfbmRUZr2I9E1Z42rqqrxjNWoX
ubcAoLojcv9gS4BWJM2f6SuyE+153YOL
=ta6G
-----END PGP SIGNATURE-----
Accepted:
minisat+_1.0-2.debian.tar.gz
to main/m/minisat+/minisat+_1.0-2.debian.tar.gz
minisat+_1.0-2.dsc
to main/m/minisat+/minisat+_1.0-2.dsc
minisat+_1.0-2_amd64.deb
to main/m/minisat+/minisat+_1.0-2_amd64.deb