Version 1.3.1-8.20-1 of coq-equations is marked for autoremoval from testing on Sun 26 Oct 2025. It depends (transitively) on aspcud, gringo, affected by #1112751, #1112978. You should try to prevent the removal by fixing these RC bugs.
A new upstream version is available: 1.3.1-9.0high
A new upstream version 1.3.1-9.0 is available, you should consider packaging it.