-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 29 Dec 2009 12:19:36 +0100 Source: minisat2 Binary: minisat2 Architecture: source amd64 Version: 070721-7 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <mt@debian.org> Changed-By: Michael Tautschnig <mt@debian.org> Description: minisat2 - Fast and lightweight SAT solver Closes: 537372 Changes: minisat2 (070721-7) unstable; urgency=low . * Bumped standards version to 3.8.3 (no changes). * Use Copyright instead of (C) in debian/copyright. * Build dynamic library (thanks Pietro Abate <Pietro.Abate@pps.jussieu.fr> for ideas and patches). (Closes: #537372) Checksums-Sha1: 1e318703bb6b39bed7a300f9d6a19372ca017f04 965 minisat2_070721-7.dsc 6de5db5c22c902f141e578c2187f1bf0c14e2ec6 8223 minisat2_070721-7.diff.gz 93e8f1d7ca0f8627eb5edd2ede9136c1865b4de4 98254 minisat2_070721-7_amd64.deb Checksums-Sha256: 5b09e2a911acf0ce4e2efe4bcf395e908fcd474d4dd988e50fe7c57d640d44b4 965 minisat2_070721-7.dsc 2312350aeec16845d5e219d1664e0cff06012a923db32d68d3e79c71e0f02394 8223 minisat2_070721-7.diff.gz 39d80258bfd7679f49b9f1afb2a86733175432671b127c7b3325cf803306853c 98254 minisat2_070721-7_amd64.deb Files: 21784b60438a1f40835d5ca69b4d1b40 965 science extra minisat2_070721-7.dsc bfbefe0ca1339323fecb1cf12fffe57c 8223 science extra minisat2_070721-7.diff.gz 22f319a79b09dad0e05714537dd5e9e8 98254 science extra minisat2_070721-7_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAks59vYACgkQvx6dH3bVKsTS5gCdGeXMGB+Umo2ERWqAP5ithCAp +iMAnjo+Osly9ad2WeqQ1k79DqjfuDvw =Uu02 -----END PGP SIGNATURE----- Accepted: minisat2_070721-7.diff.gz to main/m/minisat2/minisat2_070721-7.diff.gz minisat2_070721-7.dsc to main/m/minisat2/minisat2_070721-7.dsc minisat2_070721-7_amd64.deb to main/m/minisat2/minisat2_070721-7_amd64.deb
