Accepted minisat2 070721-8 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 29 Dec 2009 14:25:31 +0100
Source: minisat2
Binary: minisat2
Architecture: source amd64
Version: 070721-8
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
minisat2 - Fast and lightweight SAT solver
Changes:
minisat2 (070721-8) unstable; urgency=low
.
* Added Homepage field.
Checksums-Sha1:
38ef2dd2468f4f3e6779af9aa6cdcbc1ba899dea 994 minisat2_070721-8.dsc
9df432c3900df752fb6fa17bc9a65f87e88bb677 8260 minisat2_070721-8.diff.gz
9777276c9d5b601f2aac3d186622a75952215372 98308 minisat2_070721-8_amd64.deb
Checksums-Sha256:
b58d620d560b4b9d805b3e86c770370a982141562739ec8e17cebbf12fe5061e 994 minisat2_070721-8.dsc
538efa21004f6d5dd98622d62ecbe9a59624a497e145195ded711711ce3d2683 8260 minisat2_070721-8.diff.gz
acff8281228fbed8767689ad0758effbaf4f9e4f1aab6493d5dfea13353e4340 98308 minisat2_070721-8_amd64.deb
Files:
cf3a29ece1e04ffe64f4bfb97d5b430d 994 science extra minisat2_070721-8.dsc
ed3818deeafa979c248cffdbd93f29b7 8260 science extra minisat2_070721-8.diff.gz
eddbf73ce5afdab4ab42fd4973bf7af7 98308 science extra minisat2_070721-8_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAks6A3gACgkQvx6dH3bVKsTkmwCbBuIg4lTvceSzW5K4tjU3rBWK
ZbYAoITUUDQ8++Z4vzmQHkdmhcxOVgTo
=r/P1
-----END PGP SIGNATURE-----
Accepted:
minisat2_070721-8.diff.gz
to main/m/minisat2/minisat2_070721-8.diff.gz
minisat2_070721-8.dsc
to main/m/minisat2/minisat2_070721-8.dsc
minisat2_070721-8_amd64.deb
to main/m/minisat2/minisat2_070721-8_amd64.deb