Bug#1056062: About Debian bug #1056062 (coq package)

2024-01-20 Thread Jeremy Bícha
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)

2024-01-20 Thread julien . puydt
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