vcswatch reports that
this package seems to have a new changelog entry (version
1.8.0-6, 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 03176a9f2c210e5a6188d924fc9630870b7e158e
Author: Julien Puydt <jpuydt@debian.org>
Date: Wed Sep 27 18:23:29 2023 +0200
Add patch for Coq 8.18 compatibility
commit a1f2fb75fcbbf92440d0e8587802fc395f065b54
Author: Julien Puydt <jpuydt@debian.org>
Date: Thu Aug 17 11:37:39 2023 +0200
Fix d/rules clean target (Closes: #1045073)
commit f4234078f803594deb4808379c83ff3e66da5750
Merge: 4f3b1f4 de31630
Author: Stephane Glondu <Stéphane Glondu glondu@debian.org>
Date: Tue Aug 15 14:58:30 2023 +0200
Merge branch 'coq-stdpp-lintian-fixes'
commit de3163021ee875f9bebf678bada2f9a815ff9cec
Author: Debian Janitor <janitor@jelmer.uk>
Date: Wed Jan 25 08:19:40 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 d3dbcd00f7f0e362b56bf4bdb604a811e65609bf
Author: Debian Janitor <janitor@jelmer.uk>
Date: Wed Jan 25 08:19:27 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-stdpp.png){kind=link}