diff --git a/debian/changelog b/debian/changelog
index f8cc59ee..df8855c1 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,7 +1,14 @@
+why3 (1.5.1-2) UNRELEASED; urgency=medium
+
+ * Trim trailing whitespace.
+ * Update standards version to 4.6.2, no changes needed.
+
+ -- Debian Janitor <janitor@jelmer.uk> Sat, 12 Aug 2023 07:52:21 -0000
+
why3 (1.5.1-1) unstable; urgency=medium
* New upstream release.
- * Supports z3 until 4.11.0
+ * Supports z3 until 4.11.0
* Standards-Version 4.6.1 (no change)
* Add lintian override for test file with national character encoding
@@ -32,7 +39,7 @@ why3 (1.4.1-1) unstable; urgency=medium
* New patch ocamlgraph-cma to cope with the fact that ocamlgraph does no
longer produce graph.cmo (closes: #1003801)
* Drop building of the why3-coq package.
-
+
-- Ralf Treinen <treinen@debian.org> Sat, 19 Mar 2022 12:16:02 +0100
why3 (1.4.0-3) unstable; urgency=medium
diff --git a/debian/control b/debian/control
index c58e2832..2e881a17 100644
--- a/debian/control
+++ b/debian/control
@@ -25,7 +25,7 @@ Build-Depends-Indep:
texlive-bibtex-extra,
tex-gyre,
graphviz
-Standards-Version: 4.6.1
+Standards-Version: 4.6.2
Rules-Requires-Root: no
Homepage: http://why3.lri.fr/
Vcs-Git: https://salsa.debian.org/ocaml-team/why3.git