Lintian Fixes - coq-libhyps

• 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-06-12T21:02 (took 11m17s)
• Branch URL: https://salsa.debian.org/ocaml-team/coq-libhyps.git -b master (taken from version 2.0.8-1)
• Tags that might be fixable: debian-watch-does-not-check-openpgp-signature out-of-date-standards-version
• Queue position: 68514 (a 35w4d wait)

Schedule a new run

Ready changes

Publish now

Summary

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

Lintian Result

• coq-libhyps_2.0.6-2~jan+lint1.dsc
• coq-libhyps_2.0.6-2~jan+lint1_amd64.buildinfo
• coq-libhyps_2.0.6-2~jan+lint1_amd64.changes
• libcoq-libhyps_2.0.6-2~jan+lint1_amd64.deb

Diff

diff --git a/debian/changelog b/debian/changelog
index 8a59aff..a4cdf5e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+coq-libhyps (2.0.6-2) UNRELEASED; urgency=medium
+
+  * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
+    Repository-Browse.
+
+ -- Debian Janitor <janitor@jelmer.uk>  Tue, 04 Oct 2022 10:18:22 -0000
+
 coq-libhyps (2.0.6-1) unstable; urgency=medium
 
   * Initial release. (Closes: #1014965)
diff --git a/debian/upstream/metadata b/debian/upstream/metadata
new file mode 100644
index 0000000..414073d
--- /dev/null
+++ b/debian/upstream/metadata
@@ -0,0 +1,5 @@
+---
+Bug-Database: https://github.com/Matafou/LibHyps/issues
+Bug-Submit: https://github.com/Matafou/LibHyps/issues/new
+Repository: https://github.com/Matafou/LibHyps.git
+Repository-Browse: https://github.com/Matafou/LibHyps

Debdiff

File lists identical (after any substitutions)

No differences were encountered in the control files

Run locally

More details

Full run details