Accepted minisat2 070721-2 (source i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 16 Jun 2008 12:51:36 +0000
Source: minisat2
Binary: minisat2
Architecture: source i386
Version: 070721-2
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-2) unstable; urgency=low
.
* Added libz-dev build-dep to fix FTBFS
Checksums-Sha1:
2f175bd914751899d3c93360c4f1fdc641167b70 961 minisat2_070721-2.dsc
a8c52be6b674c2bc1bda5d1aa63734994abbe059 3442 minisat2_070721-2.diff.gz
2ef08655e155a7a6ad4dd4c1bffcc7901441bbed 36562 minisat2_070721-2_i386.deb
Checksums-Sha256:
4b933fe6afd855465214c15ed581b9329d99e179700dfa09ab4e7d67e952acf6 961 minisat2_070721-2.dsc
8ae866131991077c9b04d834963205df3f68edc61a51a650a2ff128899e02f75 3442 minisat2_070721-2.diff.gz
b75a7ca77f3062019f9fc28d662e52f9f33bdc04553f2b20c73b9da02cecc7cc 36562 minisat2_070721-2_i386.deb
Files:
f862fedee8b2b732bdd74674fdf41d63 961 science extra minisat2_070721-2.dsc
84f54a9087a72c12380ede7cdda1f3dc 3442 science extra minisat2_070721-2.diff.gz
d7e03b653412f738d5c38f11f6375607 36562 science extra minisat2_070721-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (Darwin)
iEYEARECAAYFAkhWYk4ACgkQvx6dH3bVKsSnfwCg5cGxNoKNjeeUGVBIKfRE2t4c
UbYAn2TPDwOLDD36CC1ByMUb7t0TYRiN
=zb/e
-----END PGP SIGNATURE-----
Accepted:
minisat2_070721-2.diff.gz
to pool/main/m/minisat2/minisat2_070721-2.diff.gz
minisat2_070721-2.dsc
to pool/main/m/minisat2/minisat2_070721-2.dsc
minisat2_070721-2_i386.deb
to pool/main/m/minisat2/minisat2_070721-2_i386.deb