Accepted minisat2 070721-7 (source amd64)
-----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