Version 1.1.3+coq8.19-2 of paramcoq is marked for autoremoval from testing on Tue 12 Nov 2024. It depends (transitively) on ocaml-mccs, affected by #1082976. You should try to prevent the removal by fixing these RC bugs.
A new upstream version is available: 1.1.3+coq8.20high
A new upstream version 1.1.3+coq8.20 is available, you should consider packaging it.
![[bug history graph]](https://qa.debian.org/data/bts/graphs/p/paramcoq.png){kind=link}