Version 1.4+8.19-1 of coq-mtac2 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.
debian/patches: 1 patch with invalid metadata
high
Among the 1 debian patch
available in version 1.4+8.19-1 of the package,
we noticed the following issues:
1 patch with
invalid metadata that ought to be fixed.