Lintian Fixes - spass

Ready changes

Merge these changes:

git pull https://janitor.debian.net/git/spass lintian-fixes/main

Summary

Diff

diff --git a/debian/changelog b/debian/changelog
index cdd49bd..ea8e6d1 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,9 +1,16 @@
+spass (3.9-2) UNRELEASED; urgency=low
+
+  * Trim trailing whitespace.
+  * Use secure URI in Homepage field.
+
+ -- Debian Janitor <janitor@jelmer.uk>  Sun, 26 Jul 2020 18:16:53 -0000
+
 spass (3.9-1) unstable; urgency=medium
 
   * New upstream version. This version fixes an FTBFS with glibc 2.26
     (closes: #887646).
   * Switch build-dependency debhelper to debhelper-compat, drop debian/compat
-  * Debhelper compatibility level 12 (no change) 
+  * Debhelper compatibility level 12 (no change)
   * Add build-dependency on bison, flex
   * Do not attempt to install upstream documentation, it is gone from
     version 3.9:
@@ -17,8 +24,8 @@ spass (3.9-1) unstable; urgency=medium
   * Create debian/spass.install as upstream's makefile doesn't do install
   * Update Vcs-{Browser,Git} to salsa
   * Standards-version 4.5.0:
-    - debian/copyright: use https in format header 
-  
+    - debian/copyright: use https in format header
+
  -- Ralf Treinen <treinen@debian.org>  Wed, 29 Apr 2020 11:04:25 +0200
 
 spass (3.7-4) unstable; urgency=medium
@@ -41,7 +48,7 @@ spass (3.7-4) unstable; urgency=medium
   * docs:
     - install pdf documents into /usr/share/doc/spass
     - drop the html docs which are incomplete, and superseded by the man pages
-    
+
  -- Ralf Treinen <treinen@debian.org>  Sun, 23 Oct 2016 20:22:48 +0200
 
 spass (3.7-3) unstable; urgency=low
@@ -123,7 +130,7 @@ spass (2.0-2) unstable; urgency=low
  -- Marco Kuhlmann <mk@debian.org>  Sun,  1 Sep 2002 16:51:15 +0100
 
 spass (2.0-1) unstable; urgency=low
-  
+
   * initial release (closes: #156728)
 
  -- Marco Kuhlmann <mk@debian.org>  Thu, 22 Aug 2002 00:21:12 +0100
diff --git a/debian/control b/debian/control
index 88e00c4..896dcaa 100644
--- a/debian/control
+++ b/debian/control
@@ -8,7 +8,7 @@ Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.
 Uploaders: Ralf Treinen <treinen@debian.org>
 Vcs-Git: https://salsa.debian.org/science-team/spass.git
 Vcs-Browser: https://salsa.debian.org/science-team/spass
-Homepage: http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/
+Homepage: https://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/
 Standards-Version: 4.5.0
 
 Package: spass

Debdiff

File lists identical (after any substitutions)

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

  • Homepage: http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/ https://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/classic-spass-theorem-prover/

No differences were encountered between the control files of package spass-dbgsym

Run locally

Try this locally (using the lintian-brush package):

debcheckout spass
cd spass
lintian-brush

More details

Full run details