Marked for autoremoval on 06 November due to gringo: #1112978high
Version 2.16.0-3 of ocaml-atd is marked for autoremoval from testing on Thu 06 Nov 2025. It depends (transitively) on gringo, affected by #1112978. You should try to prevent the removal by fixing these RC bugs.
Among the 5 debian patches
available in version 2.16.0-3 of the package,
we noticed the following issues:
4 patches
where the metadata indicates that the patch has not yet been forwarded
upstream. You should either forward the patch upstream or update the
metadata to document its real status.