Bug#1056062: About Debian bug #1056062 (coq package)
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
Bug#1056062: About Debian bug #1056062 (coq package)
Hi, 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! Cheers, J.Puydt