Version 0.1.5-5 of coq-reduction-effects is marked for autoremoval from testing on Tue 01 Sep 2026. It depends (transitively) on aflplusplus, affected by #1132061. You should try to prevent the removal by fixing these RC bugs.
The package has not entered testing even though the delay is over
normal
The package has not entered testing even though the 2-day delay is over.Check why.
Depends on packages which need a new maintainer
normal
The packages that coq-reduction-effects depends on which need a new maintainer are:
Migration status for coq-reduction-effects (0.1.5-5 to 0.1.6-4): BLOCKED: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-reduction-effects.png){kind=link}