Lintian Fixes - alt-ergo

• QA Page
• Maintainer email: debian-ocaml-maint@lists.debian.org
• This package is not present in the archive.
• Last processed: 2023-07-20T09:19 (took 3m41s)
• Branch URL: https://salsa.debian.org/ocaml-team/alt-ergo.git -b master (taken from version 2.4.2-2)
• Queue position: 154448 (a 91w2d wait)

Schedule a new run

Ready changes

Publish now

Summary

• Update standards version to 4.6.2, no changes needed. ( out-of-date-standards-version )

Diff

diff --git a/debian/changelog b/debian/changelog
index 74e2bd0..f2f54e7 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+alt-ergo (2.4.2-3) UNRELEASED; urgency=medium
+
+  * Update standards version to 4.6.2, no changes needed.
+
+ -- Debian Janitor <janitor@jelmer.uk>  Thu, 20 Jul 2023 09:16:47 -0000
+
 alt-ergo (2.4.2-2) unstable; urgency=medium
 
   * Team upload.
diff --git a/debian/control b/debian/control
index b9666df..f23aaca 100644
--- a/debian/control
+++ b/debian/control
@@ -19,7 +19,7 @@ Build-Depends: debhelper-compat (= 13),
                ocaml-nox (>= 4.04),
                ocplib-simplex-ocaml-dev (>= 0.4)
 Homepage: https://alt-ergo.ocamlpro.com
-Standards-Version: 4.6.0
+Standards-Version: 4.6.2
 Rules-Requires-Root: no
 Vcs-Browser: https://salsa.debian.org/ocaml-team/alt-ergo
 Vcs-Git: https://salsa.debian.org/ocaml-team/alt-ergo.git

Run locally

More details

Full run details

Historical runs

• failed: make[1]: *** [debian/rules:22: override_dh_auto_install] Error 1
• nothing-to-do: No changes made
• nothing-to-do: No changes made
• nothing-to-do: No changes made