Lintian Fixes - picosat

• QA Page
• Maintainer email: debian-science-maintainers@lists.alioth.debian.org
• Automatic publish policy: main: push-derived , pristine-tar: push-derived , upstream: push-derived
• Last processed: 2023-06-26T17:59 (took 5m19s)
• Branch URL: https://salsa.debian.org/science-team/picosat.git -b master (taken from version 965-2)
• Tags that might be fixable: upstream-metadata-missing-repository older-debian-watch-file-standard debian-watch-uses-insecure-uri debian-watch-does-not-check-openpgp-signature upstream-metadata-missing-bug-tracking
• Queue position: 73160 (a 36w5d wait)

Schedule a new run

Ready changes

Publish now

Summary

• Bump debhelper from old 12 to 13. ( package-uses-old-debhelper-compat-version )
• Remove obsolete fields Contact, Name from debian/upstream/metadata (already present in machine-readable debian/copyright).
• Update standards version to 4.6.0, no changes needed. ( out-of-date-standards-version )
• Update standards version to 4.6.2, no changes needed. ( out-of-date-standards-version )
• Use secure URI in Homepage field. ( homepage-field-uses-insecure-uri )

Lintian Result

• picosat-dbgsym_965-3~jan+lint3_amd64.deb
• picosat_965-3~jan+lint3.dsc
• picosat_965-3~jan+lint3_amd64.buildinfo
• picosat_965-3~jan+lint3_amd64.deb
• picosat_965-3~jan+lint3_amd64.changes

Diff

diff --git a/debian/changelog b/debian/changelog
index 3a273f1..a423c4e 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,14 @@
+picosat (965-3) UNRELEASED; urgency=medium
+
+  * Bump debhelper from old 12 to 13.
+  * Remove obsolete fields Contact, Name from debian/upstream/metadata (already
+    present in machine-readable debian/copyright).
+  * Update standards version to 4.6.0, no changes needed.
+  * Update standards version to 4.6.2, no changes needed.
+  * Use secure URI in Homepage field.
+
+ -- Debian Janitor <janitor@jelmer.uk>  Fri, 02 Sep 2022 06:03:48 -0000
+
 picosat (965-2) unstable; urgency=medium
 
   * Use dpkg buildtools.mk supply cross tools via environment
diff --git a/debian/control b/debian/control
index 533ee7b..3251c75 100644
--- a/debian/control
+++ b/debian/control
@@ -3,12 +3,12 @@ Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.
 Uploaders: Michael Tautschnig <mt@debian.org>, Nilesh Patra <nilesh@debian.org>
 Section: science
 Priority: optional
-Build-Depends: debhelper-compat (= 12),
+Build-Depends: debhelper-compat (= 13),
                dh-exec
-Standards-Version: 4.4.0
+Standards-Version: 4.6.2
 Vcs-Browser: https://salsa.debian.org/science-team/picosat
 Vcs-Git: https://salsa.debian.org/science-team/picosat.git
-Homepage: http://fmv.jku.at/picosat/
+Homepage: https://fmv.jku.at/picosat/
 Rules-Requires-Root: no
 
 Package: picosat
diff --git a/debian/upstream/metadata b/debian/upstream/metadata
deleted file mode 100644
index 846c74a..0000000
--- a/debian/upstream/metadata
+++ /dev/null
@@ -1,2 +0,0 @@
-Name: PicoSAT
-Contact: Armin Biere <biere@jku.at>

Debdiff

[The following lists of changes regard files as different if they have different names, permissions or owners.]

Files in second set of .debs but not in first

-rw-r--r--  root/root   /usr/lib/debug/.build-id/01/f30c757d4135b2d2741e1dee4473b15ff1057a.debug
-rw-r--r--  root/root   /usr/lib/debug/.build-id/ab/25632c935d9bc5b2bacaea5dff2fc38923a056.debug
-rw-r--r--  root/root   /usr/lib/debug/.build-id/cc/14b8704c39bbf6e8609ed35fb3de850c6b588c.debug
-rw-r--r--  root/root   /usr/lib/debug/.build-id/f9/75f659309bc414a0411dddd1486753d0f87d70.debug

Files in first set of .debs but not in second

-rw-r--r--  root/root   /usr/lib/debug/.build-id/4f/e36e6c627def333d0d80610fe4f0e62ffb4566.debug
-rw-r--r--  root/root   /usr/lib/debug/.build-id/5c/e13a7e8f312ee0c149eef4071b1bdd5ae92fd3.debug
-rw-r--r--  root/root   /usr/lib/debug/.build-id/b7/a4448eab68ab8cd91b0890ccd5fc3cc749e24b.debug
-rw-r--r--  root/root   /usr/lib/debug/.build-id/bc/eea25d3c2e5e698a8a85f090ca2dc27df23bdc.debug

Control files of package picosat: lines which differ (wdiff format)

• Homepage: http://fmv.jku.at/picosat/ https://fmv.jku.at/picosat/

Control files of package picosat-dbgsym: lines which differ (wdiff format)

• Build-Ids: 4fe36e6c627def333d0d80610fe4f0e62ffb4566 5ce13a7e8f312ee0c149eef4071b1bdd5ae92fd3 b7a4448eab68ab8cd91b0890ccd5fc3cc749e24b bceea25d3c2e5e698a8a85f090ca2dc27df23bdc 01f30c757d4135b2d2741e1dee4473b15ff1057a ab25632c935d9bc5b2bacaea5dff2fc38923a056 cc14b8704c39bbf6e8609ed35fb3de850c6b588c f975f659309bc414a0411dddd1486753d0f87d70

Run locally

More details

Full run details