Lintian Fixes - flint

Ready changes

Merge these changes:

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

Summary

Diff

diff --git a/debian/changelog b/debian/changelog
index 41beec35..b2c11efa 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+flint (2.7.1-2) UNRELEASED; urgency=medium
+
+  * Use secure URI in Homepage field.
+  * Drop unnecessary dh arguments: --parallel
+
+ -- Debian Janitor <janitor@jelmer.uk>  Sat, 06 Feb 2021 13:29:52 -0000
+
 flint (2.7.1-1) experimental; urgency=medium
 
   * New upstream release.
diff --git a/debian/control b/debian/control
index 56e9dc41..e9022e67 100644
--- a/debian/control
+++ b/debian/control
@@ -3,7 +3,7 @@ Section: math
 Priority: optional
 Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
 Uploaders: Julien Puydt <jpuydt@debian.org>
-Homepage: http://www.flintlib.org/
+Homepage: https://www.flintlib.org/
 Build-Depends: debhelper-compat (= 13),
                latexmk,
                libgmp-dev,
diff --git a/debian/rules b/debian/rules
index ca041694..52981aae 100755
--- a/debian/rules
+++ b/debian/rules
@@ -20,7 +20,7 @@ override_dh_auto_configure:
 	sed -i Makefile -e "/^FLINT_LIB\>=/s/libflint/libflint-$(DEB_VERSION_UPSTREAM)/"
 
 override_dh_auto_build:
-	dh_auto_build --parallel -- $(MAKE_OVERRIDE) \
+	dh_auto_build -- $(MAKE_OVERRIDE) \
 	    EXTRA_SHARED_FLAGS="$(EXTRA_SHARED_FLAGS)"
 	sphinx-build doc/source/ doc/html/
 	rm -rf doc/html/.doctrees/ doc/html/_static/jquery.js doc/html/_static/underscore.js

Debdiff

File lists identical (after any substitutions)

Control files of package libflint-2.7.0: lines which differ (wdiff format)

  • Homepage: http://www.flintlib.org/ https://www.flintlib.org/

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

Control files of package libflint-dev: lines which differ (wdiff format)

  • Homepage: http://www.flintlib.org/ https://www.flintlib.org/

Control files of package libflint-doc: lines which differ (wdiff format)

  • Homepage: http://www.flintlib.org/ https://www.flintlib.org/

Run locally

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

debcheckout flint
cd flint
lintian-brush

More details

Full run details