Marked for autoremoval on 03 November due to gringo: #1112978high
Version 2.16.0-1 of utop 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.
Depends on packages which need a new maintainer
normal
The packages that utop depends on which need a new maintainer are: