Marked for autoremoval on 02 December due to libiodbc2: #1097202high
Version 1.3.1-8.20-1 of coq-equations is marked for autoremoval from testing on Tue 02 Dec 2025. It depends (transitively) on libiodbc2, affected by #1097202. You should try to prevent the removal by fixing these RC bugs.
A new upstream version is available: 1.3.1-9.1high
A new upstream version 1.3.1-9.1 is available, you should consider packaging it.
vcswatch reports that
this package seems to have a new changelog entry (version
1.3.1-9.1-1, distribution
experimental) and new commits
in its VCS. You should consider whether it's time to make
an upload.
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.2 instead of
4.6.2).
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-equations.png){kind=link}