vcswatch reports that
this package seems to have a new changelog entry (version
20230420-5, distribution
UNRELEASED) and new commits
in its VCS. You should consider whether it's time to make
an upload.
Here are the relevant commit messages:
commit 38e1f1455bd7841fb0d03484cd0a64312159004f
Author: Julien Puydt <jpuydt@debian.org>
Date: Thu Aug 17 11:53:58 2023 +0200
Fix d/rules clean target (Closes: #1044146)
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-unimath.png){kind=link}