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

[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