Lintian Fixes - coq-interval

• 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-08-15T14:12 (took 57s)
• Branch URL: https://salsa.debian.org/ocaml-team/coq-interval.git -b master (taken from version 4.9.0-1)
• lintian-brush version: 0.128
• Tags that might be fixable: out-of-date-standards-version debian-watch-does-not-check-openpgp-signature
• Queue position: 31410 (a 12w1d wait)

Schedule a new run

Ready changes

Publish now

Summary

• debian/copyright: use spaces rather than tabs to start continuation lines. ( tab-in-license-text )
• 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-interval_4.5.2-3~jan+lint1.dsc
• coq-interval_4.5.2-3~jan+lint1_amd64.buildinfo
• coq-interval_4.5.2-3~jan+lint1_amd64.changes
• libcoq-interval-dbgsym_4.5.2-3~jan+lint1_amd64.deb
• libcoq-interval_4.5.2-3~jan+lint1_amd64.deb

Diff

diff --git a/debian/changelog b/debian/changelog
index 52ef0c7..08460ff 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+coq-interval (4.5.2-3) UNRELEASED; urgency=medium
+
+  * debian/copyright: use spaces rather than tabs to start continuation lines.
+  * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
+    Repository-Browse.
+
+ -- Debian Janitor <janitor@jelmer.uk>  Sat, 27 Aug 2022 10:58:39 -0000
+
 coq-interval (4.5.2-2) unstable; urgency=medium
 
   * Make the package compile with Coq 8.15 and Coq 8.16.
diff --git a/debian/copyright b/debian/copyright
index bc1c2e7..aa0bf1e 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -2,8 +2,8 @@ Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
 
 Files: *
 Copyright: 2007-2021 INRIA
-	   2010-2012 ENS Lyon
-	   2014-2016 IRIT
+           2010-2012 ENS Lyon
+           2014-2016 IRIT
 License: CeCILL-C
 
 Files: debian/*
diff --git a/debian/upstream/metadata b/debian/upstream/metadata
new file mode 100644
index 0000000..962245b
--- /dev/null
+++ b/debian/upstream/metadata
@@ -0,0 +1,5 @@
+---
+Bug-Database: https://gitlab.inria.fr/coqinterval/interval/-/issues
+Bug-Submit: https://gitlab.inria.fr/coqinterval/interval/-/issues/new
+Repository: https://gitlab.inria.fr/coqinterval/interval.git
+Repository-Browse: https://gitlab.inria.fr/coqinterval/interval

Debdiff

File lists identical (after any substitutions)

No differences were encountered between the control files of package libcoq-interval

No differences were encountered between the control files of package libcoq-interval-dbgsym

Run locally

More details

Full run details