vcswatch reports that
this package seems to have a new changelog entry (version
1.3.2+8.17-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 3f1ad2ee04f14982d3add26bf943ec6edda350dd
Author: Julien Puydt <jpuydt@debian.org>
Date: Wed Sep 27 10:08:25 2023 +0200
Add patch for Coq 8.18 compatibility
commit cde43e097b68b1895682bdab65752c7f1f14823d
Author: Julien Puydt <jpuydt@debian.org>
Date: Thu Aug 17 10:46:16 2023 +0200
Fix d/rules clean target (Closes: #1044750)