Lintian Fixes - coq-doc

Ready changes

Summary

Diff

diff --git a/debian/changelog b/debian/changelog
index 75a192d6..a1cfaf89 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -7,6 +7,9 @@ coq-doc (8.16.1-2) UNRELEASED; urgency=medium
   [ Debian Janitor ]
   * Remove constraints unnecessary since buster (oldstable):
     + Build-Depends-Indep: Drop versioned constraint on hevea (>= 1.05).
+  * Use secure URI in Homepage field.
+  * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
+  * Update standards version to 4.6.2, no changes needed.
 
  -- Stéphane Glondu <glondu@debian.org>  Wed, 19 Jul 2023 08:11:40 +0200
 
diff --git a/debian/control b/debian/control
index ddb0a0f1..3f2f4961 100644
--- a/debian/control
+++ b/debian/control
@@ -4,7 +4,7 @@ Priority: optional
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Uploaders: Stéphane Glondu <glondu@debian.org>,
            Julien Puydt <jpuydt@debian.org>
-Standards-Version: 4.6.1
+Standards-Version: 4.6.2
 Build-Depends: debhelper-compat (= 13), ocaml-dune, sphinx (>= 4.5.0)
 Build-Depends-Indep: camlp5,
                      fig2dev,
@@ -29,7 +29,7 @@ Build-Depends-Indep: camlp5,
                      texlive-latex-extra,
                      texlive-science,
                      texlive-xetex
-Homepage: http://coq.inria.fr/
+Homepage: https://coq.inria.fr/
 Rules-Requires-Root: no
 XS-Autobuild: yes
 Vcs-Git: https://salsa.debian.org/ocaml-team/coq-doc.git
diff --git a/debian/upstream/metadata b/debian/upstream/metadata
new file mode 100644
index 00000000..8940d9c2
--- /dev/null
+++ b/debian/upstream/metadata
@@ -0,0 +1,4 @@
+---
+Bug-Database: https://github.com/coq/coq/issues
+Bug-Submit: https://github.com/coq/coq/issues/new
+Repository-Browse: https://github.com/coq/coq

Run locally

More details

Full run details

Historical runs