gringo_4.3.0-2_amd64.changes ACCEPTED into unstable

[Debian FTP Masters]

Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 12 Jun 2014 09:16:31 +0200
Source: gringo
Binary: gringo
Architecture: source amd64
Version: 4.3.0-2
Distribution: unstable
Urgency: low
Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Description:
 gringo     - grounding tools for (disjunctive) logic programs
Closes: 751317
Changes:
 gringo (4.3.0-2) unstable; urgency=low
 .
   * Bug fix: "non-standard gcc/g++ used for build (gcc-4.8)", thanks to
     Matthias Klose (Closes: #751317).
   * Build with system-wide liblua5.2-dev.
Checksums-Sha1:
 3c8933958e1dfc0ec7d623677db703b6853a7ad7 2047 gringo_4.3.0-2.dsc
 a0a3af94bfd905681809db2afa4ee7a271a5966b 8292 gringo_4.3.0-2.debian.tar.xz
 ac61e35ee0816db55503f1cdd1a4cf94255a252a 1534776 gringo_4.3.0-2_amd64.deb
Checksums-Sha256:
 794dbb8384d9541b0e3bc593e8efd87c1324d30690ed48b7585faa9e90d52152 2047 gringo_4.3.0-2.dsc
 445c4c0e6537907c8d3c69c207340572589fb7f45156ac019cf8a6f6a00e3d41 8292 gringo_4.3.0-2.debian.tar.xz
 4b9daee565fe1977368b4dbc0df2634bb2da2f5f53c60dfb9fcd2df3a5e89451 1534776 gringo_4.3.0-2_amd64.deb
Files:
 64d19bbe50ff06a252a3d7959ec3091b 1534776 interpreters extra gringo_4.3.0-2_amd64.deb
 64017a502617652a8bb77a2518e53e1a 2047 interpreters extra gringo_4.3.0-2.dsc
 e0692dfca7ecd550261e6c9b38695f3b 8292 interpreters extra gringo_4.3.0-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJTmVkrAAoJECeX33SmZpqpQVIP/RaxTugxZwI7oXYJ5DdH2y4q
XJIdzc4wi/gEwcZXsa1QPUlIJ8f2IwLhcH1+uXwLVdYohENNBlsp4NYp4ERIWPrZ
ywre98St4ZavmUFFceSdiagccMtTvp9nb9DpLsB7wH5IqC0r0xd/I6RvWAyHh3LG
XRffC36VAAhPR0pm5SgqZWOvtS1wcyxnZjBjUUuJl0jDCUvsYUsmVfny8ykWqwg6
mjDHpgNRkjbtyv/2VAhkzwxI7e0jtP90U0IY/WE6/f7Li6iHNT+gZel0cesPak/S
0f0BmfFkPrBz95xqYxTQY7onF0vHQy0uU3PB1B0NuOrV0lPoqEK1Sn4DMgQUsgLf
I447C90w50W80VKwgOjFNiZF58p0GxaVl+2F9Ob25hDw0MQdqdtol/G+RuzuuIIe
57mCBpGWnhhu0atlQMMDmd+4AEuXVWfuMJ1UDSLEFN11NIxL38wmrWAGoSsrRGXa
0yy2A1v4xzwPIP9BdAqoC+thjUg3HAlw12BnujHmKiFmDTKxsPLKJwwiFAUd8e9o
qgxFSEY30pmskhtW9Tfj7E9lPIe+wJM8+KzBW3juvkYiLJRDmmvNik6pGzfyzT+2
l2DS7vBZCY4uiFwPnqr67GDwPaU0H0sN41Z5pnNloSIwIfMJ6dMubq624WBCdQZj
BnDom0p4ljUL5HU1//XP
=b4LK
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.