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