-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Fri, 12 Jul 2013 21:42:02 +0100 Source: minisat2 Binary: minisat minisat2 Architecture: source i386 Version: 1:2.2.1-4 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: 716229 Changes: minisat2 (1:2.2.1-4) unstable; urgency=low . * Require a non-zero memory limit (closes: #716229) * Bumped standards version to 3.9.4 (no changes) * Bumped compatibility level to 9 Checksums-Sha1: 799cce1876a8a12f1838009bdd6e85d227cce5a8 1879 minisat2_2.2.1-4.dsc 4fc1256b510cdd6be294d1c45d6ffef595978b3d 9388 minisat2_2.2.1-4.debian.tar.gz 1a8ae87faa646aab86a760c76626a31380f6ce3d 127874 minisat_2.2.1-4_i386.deb a5992e28d63ffcf19be9e83b3eb1d08065153bf6 5100 minisat2_2.2.1-4_i386.deb Checksums-Sha256: 99c70f123d8485618ed4b2d32183dd1940e0df0c519df3c4cd44cd6dd9af7604 1879 minisat2_2.2.1-4.dsc c4e25c2127aeb3eeb14bc8fdec4bfdb3ad4d1228fc7b7fb0fcd414cc12564dbb 9388 minisat2_2.2.1-4.debian.tar.gz cbf37950c980b8e9d659db6270b144311696005ae38738df87efd122cc4b9e68 127874 minisat_2.2.1-4_i386.deb e6ab926ff314be79e730821c0428249a8f965888f2f43b198919dae47346000e 5100 minisat2_2.2.1-4_i386.deb Files: a5ac603c384d0ae664b0ecfe659761a1 1879 science extra minisat2_2.2.1-4.dsc c5d140d50e102b9c160e3f5be0e451c2 9388 science extra minisat2_2.2.1-4.debian.tar.gz f562aa6c1e5a5c970c04ab55e38a155d 127874 science extra minisat_2.2.1-4_i386.deb 8002ef955d3b1faf57dd1723c8acbe0f 5100 oldlibs extra minisat2_2.2.1-4_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: GPGTools - http://gpgtools.org iQIcBAEBCAAGBQJR4GwUAAoJEKjvEonjOGdB1w4P/j2fmMXe+TKnzDH5G7luGoem pn/9WMYaWfmi1X47F172qtVsAEYJPmbjsOhOo+4xL7hY2X8s5ykTrIV9BxfBHZIU e0PVB7q0cZ0dWNZPPVW9UTC+PQlU7RPkCOE3KUM3F/JuXbiskbNoW2wmduRFPsbI q2KuqH1BBpuZ8yN5itPdVVGPKNBh0UeKPrk/DK3jWtquLwKGfRWaA6kPv1WRVJTA v7luE9BUmtQFWWUBqN+o5v8IFWzv7CgOMaEDUgZ91yEGCrpNfIhM2EzfjD60lMav Gx0xS4GZUzB4mNiKHDhvsHMbahaDUqROS5Yq5RPUNwo4c6JLO40L8zHcmDbiqVo9 Lq8dnlQ0hfP01j+BtkafjJKQ1NojToN8salmvcn5w9ppmrBpj6h9fpyB1X0RBwNl IST9VymfPy+0SADZgmdSu+NOHHRdIW2KRZ5nR6KruH+J3T5H8xMW8tNz8nKvMkve 8vodGl8CaeiDSYH6lLJ5rMDyXXVY4UbRy44VctjPQ8Cs01akoabnrU2x5DPDTVlz zr/ZIq4jMt2OtfXdEvE76fHV2IKWNjMGZuAFWowdMLQp0NCo+a6RyiWu2A3rQ4yW oW12b5rf3eat2DXZs292NntzgZgUSKRvSs41085WdGKGl2SWCYpe+NYJns58ktzo Nk36es/zSO52IEY7vEk7 =5Wak -----END PGP SIGNATURE-----
