Version 0.1.5-4 of coq-reduction-effects is marked for autoremoval from testing on Fri 23 Aug 2024. It depends (transitively) on gtksourceview3, affected by #1075055. You should try to prevent the removal by fixing these RC bugs.
Depends on packages which need a new maintainer
normal
The packages that coq-reduction-effects depends on which need a new maintainer are: