vcswatch reports that
this package seems to have new commits in its VCS but has
not yet updated debian/changelog. You should consider updating
the Debian changelog and uploading this new version into the archive.
Here are the relevant commit logs:
commit 0579a37623d63a9d6c03f0021b6533c6e7f6450b
Author: Stephane Glondu <steph@glondu.net>
Date: Wed Sep 6 08:49:12 2023 +0200
Remove camlp5 from Build-Depends
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-doc.png){kind=link}