Lintian Fixes - menhir

Ready changes

Summary

Diff

diff --git a/debian/changelog b/debian/changelog
index 2436649..a7d8954 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+menhir (20220210+ds1-2) UNRELEASED; urgency=medium
+
+  * Use secure URI in Homepage field.
+  * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
+
+ -- Debian Janitor <janitor@jelmer.uk>  Wed, 26 Jul 2023 20:44:08 -0000
+
 menhir (20220210+ds1-1) unstable; urgency=medium
 
   * Team upload
diff --git a/debian/control b/debian/control
index 04ae05a..c0e8442 100644
--- a/debian/control
+++ b/debian/control
@@ -13,7 +13,7 @@ Build-Depends: debhelper-compat (=13),
                texlive-latex-extra
 Standards-Version: 4.6.2
 Rules-Requires-Root: no
-Homepage: http://gallium.inria.fr/~fpottier/menhir/
+Homepage: https://gallium.inria.fr/~fpottier/menhir/
 Vcs-Browser: https://salsa.debian.org/ocaml-team/menhir
 Vcs-Git: https://salsa.debian.org/ocaml-team/menhir.git
 
diff --git a/debian/upstream/metadata b/debian/upstream/metadata
new file mode 100644
index 0000000..bb05d96
--- /dev/null
+++ b/debian/upstream/metadata
@@ -0,0 +1,4 @@
+---
+Bug-Database: https://gitlab.inria.fr/fpottier/menhir/-/issues
+Bug-Submit: https://gitlab.inria.fr/fpottier/menhir/-/issues/new
+Repository-Browse: https://gitlab.inria.fr/fpottier/menhir

Run locally

More details

Full run details

Historical runs