The WNPP database contains an ITP (Intent To Package) entry for
this package. This is probably an error, as it has already been
packaged. Please see bug number #1011648 for more information.
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-serapi.png){kind=link}