Version 8.20.1+dfsg-1 of coq is marked for autoremoval from testing on Mon 06 Oct 2025. It depends (transitively) on aflplusplus, affected by #1096282. You should try to prevent the removal by fixing these RC bugs.
vcswatch reports that
this package seems to have a new changelog entry (version
9.1.0+dfsg-1, distribution
experimental) and new commits
in its VCS. You should consider whether it's time to make
an upload.
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq.png){kind=link}