Marked for autoremoval on 14 July due to coq: #1072308high
Version 2.0.8-1 of coq-libhyps is marked for autoremoval from testing on Sun 14 Jul 2024. It depends (transitively) on coq, affected by #1072308. 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.
Standards version of the package is outdated.
wishlist
The package should be updated to follow the last version of Debian Policy
(Standards-Version 4.7.0 instead of
4.6.2).
Migration status for coq-libhyps (2.0.8-1 to 2.0.8-3): BLOCKED: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)