Your message dated Sun, 04 Nov 2018 10:34:04 +0000
with message-id <e1gjfji-0002ck...@fasolo.debian.org>
and subject line Bug#912552: fixed in gringo 5.2.3-3
has caused the Debian Bug report #912552,
regarding gringo ftbfs with Python 3.7
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 ow...@bugs.debian.org
immediately.)
--
912552: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=912552
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: src:gringo
Version: 5.2.3-2
Severity: serious
Tags: sid buster
gringo ftbfs with Python 3.7:
STDERR:
*** Warn : (clingo): Oversubscription: #Threads=8 exceeds logical CPUs=4.
*** ERROR: (clingo):
/<<PKGBUILDDIR>>/app/clingo/tests/python/interrupt.lp:1:1-15:6: error: error
executing python code:
File "</<<PKGBUILDDIR>>/app/clingo/tests/python/interrupt.lp:1:1-15:6>",
line 11
with prg.solve(async=True) as handle:
^
SyntaxError: invalid syntax
--- End Message ---
--- Begin Message ---
Source: gringo
Source-Version: 5.2.3-3
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 912...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Thomas Krennwallner <tk...@kr.tuwien.ac.at> (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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 04 Nov 2018 08:34:30 +0100
Source: gringo
Binary: gringo
Architecture: source
Version: 5.2.3-3
Distribution: experimental
Urgency: medium
Maintainer: Debian Science Maintainers
<debian-science-maintain...@lists.alioth.debian.org>
Changed-By: Thomas Krennwallner <tk...@kr.tuwien.ac.at>
Description:
gringo - grounding tools for (disjunctive) logic programs
Closes: 912552 912582
Changes:
gringo (5.2.3-3) experimental; urgency=medium
.
* debian/control: bump Standards-Version to 4.2.1
* Bug fix: "gringo build-depends on legacy compiler g++-7", thanks to
Matthias Klose (Closes: #912582).
- debian/control: Build-Depends on g++-8
* debian/symbols: update amd64 symbols for g++-8
* Bug fix: "gringo ftbfs with Python 3.7", thanks to Matthias Klose
(Closes: #912552).
- debian/control: Build-Depends on python3.7
- gringo-python37-async.patch: rename async keyword to async_
Checksums-Sha1:
68a6b4126903fa86a1f87fa2de041c6835f99b11 2093 gringo_5.2.3-3.dsc
3d3f6bcbf4ea016a27b5fc364f1b0ab7b524583e 17296 gringo_5.2.3-3.debian.tar.xz
eba3cca4e6a0118990679d686f3705f2768c6169 8472 gringo_5.2.3-3_amd64.buildinfo
Checksums-Sha256:
0232b593d6cb358201ef79eff8d110495d63843077baf5d72ee66641403e2269 2093
gringo_5.2.3-3.dsc
964d954db081a540360347510136320315b3912cba6649f8f47139d4b35e66f2 17296
gringo_5.2.3-3.debian.tar.xz
10e66ba52c4e2a24925c7268adb80ab515ace359e2dba1ab5ee39514ada20118 8472
gringo_5.2.3-3_amd64.buildinfo
Files:
2ae8b2535e0be344ddd056c70dee61da 2093 interpreters optional gringo_5.2.3-3.dsc
6128b19fe32a0965d1a0ae94614d2f95 17296 interpreters optional
gringo_5.2.3-3.debian.tar.xz
0646ceaa09c2319ad4f69adc1ea088e1 8472 interpreters optional
gringo_5.2.3-3_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEzH7vLECGZFUde0TKJ5ffdKZmmqkFAlvexm4ACgkQJ5ffdKZm
mqliIQ/9HdgX+XpCGS0O2kXmwCYubhuAL2CEMKvDBzsMnakL/lvDgWBvbnlMBD6g
jFevs2SdNfIK+GWzljcDu+SGM5nAWgKMcybsAtWva1sdy80DjVYdJlRtEYypZIeK
PKhPSITEVuvfNXWp9xBHEtIZBlAAOA7FjteIkg2g/ARqDhl6pWtzQve8/8TAhaGY
e62Bq8AV31JRX6pNMZIH6SpFkOCa+GOwgOfaSahodJakHEVe3cT173jkLOQ+Ziig
D5SUsPCdNGIZlf2/93Yy5nIv6ZvrwHBZph+sUHo+l1KVQWNpua4jM2hd4HtoXGPM
3ycyi9sRghDIC5IBZyGt6PeMVqCku7oWmL/kdJkpad9Chv4E0ude0A0c91m7zAq9
tG3t45ebi2UeP8jJKvJvxnJIAW+HVtDcPm3+JzONSLxVpXVslu3si9O6MzheFx5R
m6FEe1TvmYVNUnwtXNfhfixTAqirmF1n4XOd040i6G4TGqaEgg7/O5mrcYNFqbYW
SyO0FF/nRZXHQSIMFvq3K1JJ/tigIBhSMnhQd2Sg+e60M5hVXo4KRH16/5YI7HbR
gf12vXyUF+hOLTglJ+ddSOvhyJemhbK47L7KcgAmpJ3vKH43OqFjVgn0qdN6Anjo
oySK2ZDliXw2lHA95zZfB1YaGN2+scz7Jb8XZrNXRIHCP4ydE78=
=Ajb0
-----END PGP SIGNATURE-----
--- End Message ---
