vcswatch reports that
this package seems to have a new changelog entry (version
1.7.9-2, 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 1bfead0bc46313b8802fabd9516015b79dc0f786
Author: Julien Puydt <jpuydt@debian.org>
Date: Fri Aug 18 16:32:26 2023 +0200
Fix d/rules clean target (Closes: #1044907)
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-relation-algebra.png){kind=link}