diff --git a/debian/changelog b/debian/changelog
index 5621e5f3..baaa5dce 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,14 @@
+coq (8.17.0+dfsg-2) UNRELEASED; urgency=medium
+
+ * Update lintian override info to new format:
+ + debian/libcoq-core-ocaml-dev.lintian-overrides: line 2
+ + debian/coq.lintian-overrides: line 2
+ * debian/copyright: use spaces rather than tabs to start continuation lines.
+ * Use secure URI in Homepage field.
+ * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
+
+ -- Debian Janitor <janitor@jelmer.uk> Mon, 12 Jun 2023 07:42:33 -0000
+
coq (8.17.0+dfsg-1) unstable; urgency=medium
* New upstream release.
diff --git a/debian/control b/debian/control
index 5a765955..4c962587 100644
--- a/debian/control
+++ b/debian/control
@@ -30,7 +30,7 @@ Build-Depends:
rsync,
tex-common
Rules-Requires-Root: no
-Homepage: http://coq.inria.fr/
+Homepage: https://coq.inria.fr/
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq
Vcs-Git: https://salsa.debian.org/ocaml-team/coq.git
diff --git a/debian/copyright b/debian/copyright
index 2ef0d6ad..aa1b2576 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -13,9 +13,9 @@ Files-Excluded:
Files: *
Copyright: 1999-2021 The Coq Development Team,
Institut National de Recherche en Informatique et en Automatique (INRIA),
- Centre National de la Recherche Scientifique (CNRS),
- Microsoft corporation
- and contributors
+ Centre National de la Recherche Scientifique (CNRS),
+ Microsoft corporation
+ and contributors
License: LGPL-2.1
Files: clib/diff2.ml*
@@ -33,7 +33,7 @@ License: LGPL-2.1+
Files: ide/coqide/protocol/xml_parser.ml
Copyright: 2003 Nicolas Cannasse <ncannasse@motion-twin.com>
- 2003 Jacques Garrigue
+ 2003 Jacques Garrigue
License: LGPL-2.1+
Files: ide/coqide/configwin*
@@ -52,7 +52,7 @@ Copyright: 1999-2000 Fernando Sanchez <fer@debian.org>
2004-2009 Samuel Mimram <smimram@debian.org>
2008-2014 Stéphane Glondu <glondu@debian.org>
2018 Benjamin Barenblat <bbaren@debian.org>
- 2021 Julien Puydt <jpuydt@debian.org>
+ 2021 Julien Puydt <jpuydt@debian.org>
License: LGPL-2.1
License: BSD-3-clause
diff --git a/debian/coq.lintian-overrides b/debian/coq.lintian-overrides
index a4678885..b2651783 100644
--- a/debian/coq.lintian-overrides
+++ b/debian/coq.lintian-overrides
@@ -1,2 +1,2 @@
# https://github.com/coq/coq/issues/15181
-coq: no-manual-page *
+coq: no-manual-page [*]
diff --git a/debian/libcoq-core-ocaml-dev.lintian-overrides b/debian/libcoq-core-ocaml-dev.lintian-overrides
index 052655a0..9df4f604 100644
--- a/debian/libcoq-core-ocaml-dev.lintian-overrides
+++ b/debian/libcoq-core-ocaml-dev.lintian-overrides
@@ -1,4 +1,4 @@
# it's not a info(1) document
-libcoq-core-ocaml-dev: package-contains-documentation-outside-usr-share-doc var/lib/ocaml/lintian/libcoq-core-ocaml-dev.info
+libcoq-core-ocaml-dev: package-contains-documentation-outside-usr-share-doc [var/lib/ocaml/lintian/libcoq-core-ocaml-dev.info]
# stripping them would make them useless
libcoq-core-ocaml-dev: unstripped-static-library *
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
