Accepted minisat2 1:2.2.1-5 (source i386) into unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Wed, 30 Jul 2014 10:38:25 +0100
Source: minisat2
Binary: minisat minisat2
Architecture: source i386
Version: 1:2.2.1-5
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: 756336
Changes:
minisat2 (1:2.2.1-5) unstable; urgency=low
.
* Fix C++ syntax to enable Clang builds (closes: #756336)
* Bumped standards version to 3.9.5 (no changes)
Checksums-Sha1:
9ce8a3467d7b7117c0651a679e5b8a27fc3d008e 1893 minisat2_2.2.1-5.dsc
7e13866f0217cd5afc1060237b09facda071bf8d 9348 minisat2_2.2.1-5.debian.tar.xz
c5ec48985963414a13c131bc812ed0ac57ef163e 98652 minisat_2.2.1-5_i386.deb
5ff7afa22f15e63e5e31f6b967134f1a9edac8b3 5022 minisat2_2.2.1-5_i386.deb
Checksums-Sha256:
fe24f45d00dda1c04089c60711d64d155ed3e6d0172a65aff6df5f39e8f7299a 1893 minisat2_2.2.1-5.dsc
569d2e327a231e16cec180db6016345ca626d803746936dcf4bb82fc738ad9a4 9348 minisat2_2.2.1-5.debian.tar.xz
422e1e099d7220469082409f08e266bc5619b19e258ae4b65f51dd45d1392659 98652 minisat_2.2.1-5_i386.deb
f44246c6c1346d4439cf7aaa7d2bb6c4eb026070b3e24b0b295c3b4f97651666 5022 minisat2_2.2.1-5_i386.deb
Files:
a1e5e47a51a4793aa00e11d54a378384 98652 science extra minisat_2.2.1-5_i386.deb
52540662a06504da32334677cbcd39bc 5022 oldlibs extra minisat2_2.2.1-5_i386.deb
54b0cf7d1d8c9efde4fd7af834a8d4a2 1893 science extra minisat2_2.2.1-5.dsc
e955db0db0eb10fa1d71e5858e60ee33 9348 science extra minisat2_2.2.1-5.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJT2MFhAAoJEKjvEonjOGdBb+IP/0647632KMU7LGfNmy4TVLow
Nt7dm68AIT8cSwh7Z5+VKUQMwhPPZ4HcbFAkEHZqaRsLDggNHedzXV0e/3tsCuHS
qB2J4yuDgjpW92bX2yRbGWhGXWs2WTDdry4Lmr8yOBYegFiO9DLoKTQVHx6v8Dek
G6P9KqbCX+1whBx1tlkEmFjNkPHy8bY3LqQ9YlFcc5KycDjRBJiVI+uUHux1QuHj
Mz5f0AK19io1vBcrcAVDnMhY2JSI/r6Tc9QBCE7Jp0216aytt5fTsSj1iLyrd6U6
m8TCyKItK5gXgYkFRlrJ2RqR6PbqLk6LwU6M0ihrMY17dVOUwDAqsikqm3HVVGE1
jqMnEmoIaccHlSiJyQ3zav3DZGwp71TiVgp5nVeibKkRT0baSmnuKrsxI3Z6TYi2
YhETAY/QjXMmbNdR/WML+DiGK8AUZEOwYdGhLIUyjAc+cKTOQCfzxVBoBbsfL6A4
uYTDme7aTUrGlMTt0yRgd3oQLVwsZvgZAPnQlY17rC4OuNNztrGPMQef81PjUew0
xW2ej6NhtTT7YZQg+gFR5fmp7yBMPx8kyYYbS+dbjMXWM7r+aG/eBM8ax6FETi1K
55feMkMCo9+NXlqb0Wmrvg1CRr2NTMxDFLSWBZE/mVSrEIJY0iHyMz9IDjbRaY6V
q+mYx4aTPMQ6Kaa1Bjhf
=zrOf
-----END PGP SIGNATURE-----