On Sat, Jan 20, 2024 at 2:02 PM <julien.pu...@gmail.com> 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
