On Sat, Jan 20, 2024 at 2:02 PM wrote:
> can you tell me why you declared coq package's version 8.18.0+dfsg-1 is
> still affected by the issue? Your message was less than informative!
I closed the bug by sending an email to 1056062-d...@bugs.debian.org .
I also added a Version: line to specify what version the bug was fixed
in.
https://www.debian.org/Bugs/Developer#closing
Version: is not a valid line for specifying that a bug is found in a
specific version; the syntax for the "found" command is different.
There are no open bugs against the coq source package currently.
https://bugs.debian.org/cgi-bin/pkgreport.cgi?src=coq
Thank you,
Jeremy Bícha
