Version 1.11.0-1 of coq-stdpp is marked for autoremoval from testing on Mon 24 Aug 2026. It depends (transitively) on aflplusplus, affected by #1141089. 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.
Migration status for coq-stdpp (1.11.0-1 to 1.13.0-2): 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-stdpp.png){kind=link}