Lintian Fixes - coq-extructures

• QA Page
• Maintainer email: debian-ocaml-maint@lists.debian.org
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2023-11-06T01:45 (took 20m3s)
• Branch URL: https://salsa.debian.org/ocaml-team/coq-extructures.git -b master (taken from version 0.4.0-3)
• Tags that might be fixable: debian-watch-does-not-check-openpgp-signature upstream-metadata-file-is-missing out-of-date-standards-version
• Queue position: 66177 (a 35w1d wait)

Schedule a new run

Recent merge proposals

• https://salsa.debian.org/ocaml-team/coq-extructures/-/merge_requests/1 (open)

Ready changes

Publish now

Summary

• Set upstream metadata fields: Bug-Database, Bug-Submit, Repository. ( upstream-metadata-missing-bug-tracking , upstream-metadata-missing-repository )

Lintian Result

• coq-extructures_0.3.1-5~jan+lint3.dsc
• coq-extructures_0.3.1-5~jan+lint3_amd64.buildinfo
• libcoq-extructures_0.3.1-5~jan+lint3_amd64.deb
• coq-extructures_0.3.1-5~jan+lint3_amd64.changes

Diff

diff --git a/debian/changelog b/debian/changelog
index 3d35de7..2b03653 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -6,6 +6,9 @@ coq-extructures (0.3.1-5) UNRELEASED; urgency=medium
   [ Julien Puydt ]
   * Fix d/rules clean target (Closes: #1044466).
 
+  [ Debian Janitor ]
+  * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository.
+
  -- Julien Puydt <jpuydt@debian.org>  Fri, 18 Aug 2023 16:45:44 +0200
 
 coq-extructures (0.3.1-4) unstable; urgency=medium
diff --git a/debian/upstream/metadata b/debian/upstream/metadata
index 23022bd..425d33f 100644
--- a/debian/upstream/metadata
+++ b/debian/upstream/metadata
@@ -1,2 +1,5 @@
 ---
+Bug-Database: https://github.com/arthuraa/extructures/issues
+Bug-Submit: https://github.com/arthuraa/extructures/issues/new
+Repository: https://github.com/arthuraa/extructures.git
 Repository-Browse: https://github.com/arthuraa/extructures

Debdiff

File lists identical (after any substitutions)

No differences were encountered in the control files

Run locally

More details

Full run details