Fix some issues reported by lintian

Fix some issues reported by lintian

Debdiff

These changes affect the binary packages:

[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/55/ab66b34bfd9e4c78be9db7da149443911d1e60.debug
lrwxrwxrwx  root/root   /usr/share/doc/libflint-dev/html/_static/_sphinx_javascript_frameworks_compat.js -> ../../../../javascript/sphinxdoc/1.0/_sphinx_javascript_frameworks_compat.js

Files in first set of .debs but not in second

-rw-r--r--  root/root   /usr/lib/debug/.build-id/76/dccac6d70b35a34c3728241e0e7b214e237bb9.debug

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)

  • Depends: libjs-sphinxdoc (>= 4.3) 5.0)
  • Homepage: http​://www.flintlib.org/ https​://www.flintlib.org/

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

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

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

  • Build-Ids: 76dccac6d70b35a34c3728241e0e7b214e237bb9 55ab66b34bfd9e4c78be9db7da149443911d1e60

You can also view the diffoscope diff (unfiltered).

This merge proposal was created by the Janitor bot, and it will automatically rebase or close this proposal as appropriate when the target branch changes. Any comments you leave here will be read by the Janitor's maintainers.

Build and test logs for this branch can be found at https://janitor.debian.net/lintian-fixes/pkg/flint/29270e87-05a8-4de3-81e1-6be23eeb7209.

Edited by Janitor

Merge request reports

Loading