Version 1.3.1-8.20-1 of coq-equations 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.
debian/patches: 1 patch with invalid metadata
high
Among the 1 debian patch
available in version 1.3.2-9.2-2 of the package,
we noticed the following issues:
1 patch with
invalid metadata that ought to be fixed.
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-equations (1.3.1-8.20-1 to 1.3.2-9.2-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-equations.png){kind=link}