vcswatch reports that
this package seems to have a new changelog entry (version
1.7.11-1, 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 8e9d9384ca2238208ed93a8a8cb4909313dba92d
Author: Julien Puydt <jpuydt@debian.org>
Date: Wed Sep 18 11:13:39 2024 +0200
Bump standards-version to 4.7.0
commit 4a5ba90fdfe41900be5441ef5f684eb22997076e
Author: Julien Puydt <jpuydt@debian.org>
Date: Wed Sep 18 11:13:05 2024 +0200
Package new upstream 1.7.11
commit 755c9f56124dbb1e1570d7092e4b93c21e789737
Merge: ecbd03d 400003c
Author: Julien Puydt <jpuydt@debian.org>
Date: Wed Sep 18 11:12:48 2024 +0200
Update upstream source from tag 'upstream/1.7.11'
Update to upstream version '1.7.11'
with Debian dir 729275a16f6d84ebf092821ea2a207d8103f8b71
commit 400003ca05e31e00ad281131a96a2f30edc5ef2f
Author: Julien Puydt <jpuydt@debian.org>
Date: Wed Sep 18 11:12:48 2024 +0200
New upstream version 1.7.11
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-relation-algebra.png){kind=link}