Marked for autoremoval on 26 October due to gringo: #1112978high
Version 5.1.0-1 of ocaml-mirage-ptime is marked for autoremoval from testing on Sun 26 Oct 2025. It depends (transitively) on gringo, affected by #1112978. You should try to prevent the removal by fixing these RC bugs.