Your message dated Thu, 12 Jun 2014 07:48:47 +0000
with message-id <[email protected]>
and subject line Bug#751317: fixed in gringo 4.3.0-2
has caused the Debian Bug report #751317,
regarding gringo: non-standard gcc/g++ used for build (gcc-4.8)
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
751317: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=751317
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: gringo
Version: 4.3.0-1
Severity: important
Tags: sid jessie
User: [email protected]
Usertags: non-standard-compiler, gcc-4.7, gcc-4.7-legacy
This package builds with a non standard compiler version; please check
if this package can be built with the default version of gcc/g++, or
with gcc-4.9/g++-4.9.
Please drop build dependencies of the form libstdc++6-4.7-dev, these
are not needed and fulfilled by build-essential.
Please keep this report open until the package uses the default
compiler version (or gcc-4.9) for the package build.
The severity of this report is likely to be raised before the release,
so that the gcc-4.7 package can be removed for the release.
--- End Message ---
--- Begin Message ---
Source: gringo
Source-Version: 4.3.0-2
We believe that the bug you reported is fixed in the latest version of
gringo, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Thomas Krennwallner <[email protected]> (supplier of updated gringo package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----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
<[email protected]>
Changed-By: Thomas Krennwallner <[email protected]>
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-----
--- End Message ---
