Marked for autoremoval on 02 December due to libiodbc2: #1097202high
Version 1.11.0-1 of coq-simple-io 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.
Depends on packages which need a new maintainer
normal
The packages that coq-simple-io depends on which need a new maintainer are:
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-simple-io.png){kind=link}