Marked for autoremoval on 03 November due to gringo: #1112978high
Version 1.1.3+coq8.20-1 of paramcoq is marked for autoremoval from testing on Mon 03 Nov 2025. It depends (transitively) on gringo, affected by #1112978. You should try to prevent the removal by fixing these RC bugs.
A new upstream version is available: 1.1.3+coq9.0high
A new upstream version 1.1.3+coq9.0 is available, you should consider packaging it.