Marked for autoremoval on 06 May due to elpi: #1131646high
Version 0.5.0-1 of coq-extructures is marked for autoremoval from testing on Wed 06 May 2026. It depends (transitively) on elpi, affected by #1131646. You should try to prevent the removal by fixing these RC bugs.
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.4 instead of
4.7.0).
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-extructures.png){kind=link}