vcswatch reports that
this package seems to have a new changelog entry (version
1.8.0-4, 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 4def672401b6ada6bd0e6ed2aa7767f2a97e96c8
Author: Julien Puydt <jpuydt@debian.org>
Date: Fri Aug 18 15:43:50 2023 +0200
Fix d/rules clean target (Closes: #1044397)
commit 505665d22b9801d647bf85f9bc8728a13741364f
Merge: 81e59da bff6521
Author: Stephane Glondu <Stéphane Glondu glondu@debian.org>
Date: Tue Aug 15 15:05:29 2023 +0200
Merge branch 'coq-simple-io-lintian-fixes'
commit bff65219a6597ecd7f5d514ea386aca23817247d
Author: Debian Janitor <janitor@jelmer.uk>
Date: Thu Jan 26 13:35:21 2023 +0000
Update standards version to 4.6.2, no changes needed.
Changes-By: lintian-brush
Fixes: lintian: out-of-date-standards-version
See-also: https://lintian.debian.org/tags/out-of-date-standards-version.html
commit 89264cb1c20a1f164369bd926148be4289b34b87
Author: Debian Janitor <janitor@jelmer.uk>
Date: Thu Jan 26 13:35:20 2023 +0000
Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
Changes-By: lintian-brush
Fixes: lintian: upstream-metadata-file-is-missing
See-also: https://lintian.debian.org/tags/upstream-metadata-file-is-missing.html
Fixes: lintian: upstream-metadata-missing-bug-tracking
See-also: https://lintian.debian.org/tags/upstream-metadata-missing-bug-tracking.html
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-simple-io.png){kind=link}