Marked for autoremoval on 01 November due to gringo: #1112978high
Version 20240923-2 of coq-unimath is marked for autoremoval from testing on Sat 01 Nov 2025. It depends (transitively) on gringo, affected by #1112978. You should try to prevent the removal by fixing these RC bugs.