-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 20 Jan 2011 22:37:08 +0100
Source: minisat2
Binary: minisat2
Architecture: source amd64
Version: 1:2.2.0-3
Distribution: experimental
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
minisat2 - Fast and lightweight SAT solver
Closes: 606643 606846
Changes:
minisat2 (1:2.2.0-3) experimental; urgency=low
.
* Current upstream git snapshot with fully reworked build system.
- Properly builds shared library (closes: #606846).
- Fixes include hierarchy (closes: #606643).
Checksums-Sha1:
71ceb6b8eb17efc5c2a0335ce73a5768ebca6ea2 1113 minisat2_2.2.0-3.dsc
6cba12ff096657bea9b022f7f2756ba898513633 51936 minisat2_2.2.0-3.debian.tar.gz
431121644ff0261518ea2594e20448b7824c7678 137376 minisat2_2.2.0-3_amd64.deb
Checksums-Sha256:
2236522dcd33783038a40bad19340dcbd19c749eedef839a29eb8b2ea5b5e0c2 1113 minisat2_2.2.0-3.dsc
bc57398db8aa2f1ddef9e0cdcf629176b26766cad0f0953a1f4c0094abe0579b 51936 minisat2_2.2.0-3.debian.tar.gz
745ad7401b9f0af8815fb01f10597f28c539c0927e2b17e17eff5d8833cc4a0c 137376 minisat2_2.2.0-3_amd64.deb
Files:
4a871fbba46258b88eaeed77b67d9ba0 1113 science extra minisat2_2.2.0-3.dsc
255515e538ac96f8e50c5caeb0e2484c 51936 science extra minisat2_2.2.0-3.debian.tar.gz
2cf5b2348b18e2cda6b87d9c0fcc77ae 137376 science extra minisat2_2.2.0-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAk04uM0ACgkQvx6dH3bVKsSoggCgtfiQd1BcAcxdJPa4ZtQMvT7i
F8MAoPX+8GCf1BSc4m6rDxlRyCd+++w3
=PXIj
-----END PGP SIGNATURE-----
Accepted:
minisat2_2.2.0-3.debian.tar.gz
to main/m/minisat2/minisat2_2.2.0-3.debian.tar.gz
minisat2_2.2.0-3.dsc
to main/m/minisat2/minisat2_2.2.0-3.dsc
minisat2_2.2.0-3_amd64.deb
to main/m/minisat2/minisat2_2.2.0-3_amd64.deb