Lintian Fixes - boogie
Ready changes
Summary
- Bump debhelper from old 12 to 13. ( package-uses-old-debhelper-compat-version )
- Update standards version to 4.6.2, no changes needed. ( out-of-date-standards-version )
Failed fixers:
See the worker log for details.
Diff
diff --git a/debian/changelog b/debian/changelog
index fa440c5..593eb28 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+boogie (2.4.1+dfsg-0.2) UNRELEASED; urgency=medium
+
+ * Bump debhelper from old 12 to 13.
+ * Update standards version to 4.6.2, no changes needed.
+
+ -- Debian Janitor <janitor@jelmer.uk> Mon, 01 May 2023 07:23:53 -0000
+
boogie (2.4.1+dfsg-0.1) unstable; urgency=medium
* Non-maintainer upload.
diff --git a/debian/control b/debian/control
index 13ad3b3..b230466 100644
--- a/debian/control
+++ b/debian/control
@@ -2,11 +2,11 @@ Source: boogie
Section: cli-mono
Priority: optional
Maintainer: Benjamin Barenblat <bbaren@mit.edu>
-Build-Depends: debhelper-compat (= 12),
+Build-Depends: debhelper-compat (= 13),
cli-common-dev,
mono-devel,
tzdata
-Standards-Version: 4.4.1
+Standards-Version: 4.6.2
Homepage: http://research.microsoft.com/en-us/projects/boogie/
Vcs-Browser: https://salsa.debian.org/debian/boogie
Vcs-Git: https://salsa.debian.org/debian/boogie.git