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
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