Accepted minisat2 1:2.2.1-4 (source i386)
-----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-----