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