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