Lintian Fixes - hol-light

• QA Page
• Maintainer email: debian-ocaml-maint@lists.debian.org
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2023-09-07T12:54 (took 20m1s)
• Branch URL: https://salsa.debian.org/ocaml-team/hol-light.git -b master (taken from version 20231021-1)
• Tags that might be fixable: older-debian-watch-file-standard debian-watch-does-not-check-openpgp-signature
• Queue position: 144531 (a 62w0d 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 )

Lintian Result

• hol-light_20230128-2~jan+lint1.dsc
• hol-light_20230128-2~jan+lint1_amd64.buildinfo
• hol-light_20230128-2~jan+lint1_amd64.deb
• hol-light_20230128-2~jan+lint1_amd64.changes

Diff

diff --git a/debian/changelog b/debian/changelog
index 5d12f71..36db6d7 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+hol-light (20230128-2) UNRELEASED; urgency=medium
+
+  * Update standards version to 4.6.2, no changes needed.
+
+ -- Debian Janitor <janitor@jelmer.uk>  Thu, 29 Jun 2023 09:23:07 -0000
+
 hol-light (20230128-1) unstable; urgency=medium
 
   [ Stéphane Glondu ]
diff --git a/debian/control b/debian/control
index 868d052..ea97fbf 100644
--- a/debian/control
+++ b/debian/control
@@ -11,7 +11,7 @@ Build-Depends:
  libcamlp-streams-ocaml-dev,
  ocaml-findlib,
  dh-ocaml
-Standards-Version: 4.6.0
+Standards-Version: 4.6.2
 Rules-Requires-Root: no
 Homepage: https://www.cl.cam.ac.uk/~jrh13/hol-light/
 Vcs-Git: https://salsa.debian.org/ocaml-team/hol-light.git

Debdiff

File lists identical (after any substitutions)

No differences were encountered in the control files

Run locally

More details

Full run details