Version 1.4-rocq9.1-2 of coq-mtac2 is marked for autoremoval from testing on Fri 25 Sep 2026. It depends (transitively) on golang-github-google-flatbuffers, affected by #1144233. You should try to prevent the removal by fixing these RC bugs.
debian/patches: 1 patch with invalid metadata
high
Among the 2 debian patches
available in version 1.4-rocq9.1-2 of the package,
we noticed the following issues:
1 patch with
invalid metadata that ought to be fixed.
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-mtac2.png){kind=link}