A new upstream version 8.17.0 is available, you should consider packaging it.
debian/patches: 1 patch with invalid metadata, 1 patch to forward upstream
high
Among the 6 debian patches
available in version 8.16.1+dfsg-1 of the package,
we noticed the following issues:
1 patch with
invalid metadata that ought to be fixed.
1 patch
where the metadata indicates that the patch has not yet been forwarded
upstream. You should either forward the patch upstream or update the
metadata to document its real status.
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq.png){kind=link}