-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 03 Sep 2011 21:03:43 +0100 Source: minisat2 Binary: minisat minisat2 Architecture: source i386 Version: 1:2.2.1-3 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <mt@debian.org> Changed-By: Michael Tautschnig <mt@debian.org> Description: minisat - Fast and lightweight SAT solver minisat2 - Transitional package for minisat Closes: 638217 Changes: minisat2 (1:2.2.1-3) unstable; urgency=low . * Updated man page (closes: #638217) Checksums-Sha1: e3f528659a059235b6adb17891db86ccfa87e50d 1135 minisat2_2.2.1-3.dsc 519c62879dafc04a3ee3d5854fe4d1915be3fd88 8611 minisat2_2.2.1-3.debian.tar.gz ec75594dfd648f9e6018fa0c14078f81cbc6bfb2 129100 minisat_2.2.1-3_i386.deb ed390f8f9630374058c20e3958266509669072a9 5032 minisat2_2.2.1-3_i386.deb Checksums-Sha256: 1c1ce26f42ccbd6cc7fbb6ac8c4748212b50cf94495afcbc1fc1f36dea623395 1135 minisat2_2.2.1-3.dsc 14d9c7021fa364f03d20a13e03f03f248d769a04d421f7865c0090ea2a8594c7 8611 minisat2_2.2.1-3.debian.tar.gz a898e76297107e0f4b2ed1ad42d1c9904a5c9d31fa86129a1d8cda1df29cb498 129100 minisat_2.2.1-3_i386.deb b0aa7e1bab3178e43a62f189d608786c574a465df2d2a3493647f2019b70ccb9 5032 minisat2_2.2.1-3_i386.deb Files: 4ed46d412e3be4cb87b3fe40e4ae55f6 1135 science extra minisat2_2.2.1-3.dsc 7267ca50b9a4e2b628fcd2e702a259c6 8611 science extra minisat2_2.2.1-3.debian.tar.gz 0c43b9bfae39d78cb10c0ee34eb5dfa6 129100 science extra minisat_2.2.1-3_i386.deb b6f0e89b47913ff810bf482421034508 5032 science extra minisat2_2.2.1-3_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAk5iuEsACgkQvx6dH3bVKsTEbQCgyKrvQ1ifAcku3z+I8eudW2rZ tKMAn0dSEcqjfhb2GNEmVEtcL+cKOiZB =L9JJ -----END PGP SIGNATURE----- Accepted: minisat2_2.2.1-3.debian.tar.gz to main/m/minisat2/minisat2_2.2.1-3.debian.tar.gz minisat2_2.2.1-3.dsc to main/m/minisat2/minisat2_2.2.1-3.dsc minisat2_2.2.1-3_i386.deb to main/m/minisat2/minisat2_2.2.1-3_i386.deb minisat_2.2.1-3_i386.deb to main/m/minisat2/minisat_2.2.1-3_i386.deb
