action needed
A new upstream version is available: 9.0.0
high
A new upstream version 9.0.0 is available, you should consider packaging it.
Standards version of the package is outdated.
wishlist
The package should be updated to follow the last version of Debian Policy
(Standards-Version 4.7.2 instead of
4.7.0).
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-doc.png){kind=link}