Your message dated Sat, 1 Oct 2022 12:50:25 +0200
with message-id <[email protected]>
and subject line python3-antlr4 is in stable
has caused the Debian Bug report #926134,
regarding antlr4: Please package Python 3 runtime
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.)
--
926134: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=926134
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: antlr4
Version: 4.7.2-1
Coq now needs the ANTLR 4 runtime for Python 3 to generate its HTML
documentation. Would you be willing to add it to the antlr4 package?
This may be a duplicate of https://bugs.debian.org/897129, but lacking
familiarity with ANTLR, it’s not clear to me whether that bug is asking
for the runtime or for bindings to script against ANTLR.
--- End Message ---
--- Begin Message ---
As fixed in https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=897129
--
Michael R. Crusoe
OpenPGP_signature
Description: OpenPGP digital signature
--- End Message ---
__
This is the maintainer address of Debian's Java team
<https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-java-maintainers>.
Please use
[email protected] for discussions and questions.
