hol-light (20190729-4) [PTS] [DDPO]

NEW: VCS has unreleased changes: 20190729-5 > 20190729-4

Git: https://salsa.debian.org/ocaml-team/hol-light.git
JSON
Enter a full Vcs-* header, supported schemes are: Vcs-Bzr, Vcs-Cvs, Vcs-Darcs, Vcs-Git, Vcs-Hg, Vcs-Mtn, Vcs-Svn.
For Vcs-Git append -b branch to select the branch name; append [subdir] if the debian/ directory is not in the repository root.
The next upload will reset the information from the source package headers.
Branch: master
Path: debian/changelog
Browser: https://salsa.debian.org/ocaml-team/hol-light
Last scan: 2022-11-24 03:26:08+00
Next scan: 2022-12-02 06:27:00+00

Debian changelog in Git:

hol-light (20190729-5) UNRELEASED; urgency=medium

  * debian/copyright: use spaces rather than tabs to start continuation lines.
  * Use secure URI in Homepage field.
  * Bump debhelper from old 12 to 13.
    + Drop check for DEB_BUILD_OPTIONS containing "nocheck", since debhelper now
      does this.
    + debian/rules: Drop --fail-missing argument to dh_missing, which is now the
      default.
  * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
    Repository-Browse.
  * Update standards version to 4.6.0, no changes needed.

 -- Debian Janitor <janitor@jelmer.uk>  Thu, 30 Sep 2021 02:48:50 -0000

This branch is 6 commits ahead of tag debian/20190729-4

Git log:

commit 13aafeb53db8a66bd44d2a37902d5686776c34f9
Merge: 13e0ef9 dc4bcd2
Author: Stéphane Glondu <glondu@debian.org>
Date:   Sun Jan 2 05:09:36 2022 +0000

    Merge branch 'lintian-fixes' into 'master'
    
    Fix some issues reported by lintian
    
    See merge request ocaml-team/hol-light!1

commit dc4bcd27b5742d2049f32a9797de23b4aba0b39d
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Thu Sep 30 02:51:37 2021 +0000

    Update standards version to 4.6.0, no changes needed.
    
    Changes-By: lintian-brush
    Fixes: lintian: out-of-date-standards-version
    See-also: https://lintian.debian.org/tags/out-of-date-standards-version.html

commit 99ebbf27d6550a344908de8dd3809261a525c226
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Thu Sep 30 02:50:47 2021 +0000

    Set upstream metadata fields: Bug-Database, Bug-Submit, Repository, Repository-Browse.
    
    Changes-By: lintian-brush
    Fixes: lintian: upstream-metadata-file-is-missing
    See-also: https://lintian.debian.org/tags/upstream-metadata-file-is-missing.html
    Fixes: lintian: upstream-metadata-missing-bug-tracking
    See-also: https://lintian.debian.org/tags/upstream-metadata-missing-bug-tracking.html
    Fixes: lintian: upstream-metadata-missing-repository
    See-also: https://lintian.debian.org/tags/upstream-metadata-missing-repository.html

commit a19f8ad6b4d1c55fef2c9f7953dd63cf9b51488e
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Thu Sep 30 02:50:11 2021 +0000

    Bump debhelper from old 12 to 13.
    + Drop check for DEB_BUILD_OPTIONS containing "nocheck", since debhelper now does this.
    + debian/rules: Drop --fail-missing argument to dh_missing, which is now the default.
    
    Changes-By: lintian-brush
    Fixes: lintian: package-uses-old-debhelper-compat-version
    See-also: https://lintian.debian.org/tags/package-uses-old-debhelper-compat-version.html

commit 9059e23fa330b6da32a26475b840eb388eb25809
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Thu Sep 30 02:49:35 2021 +0000

    Use secure URI in Homepage field.
    
    Changes-By: lintian-brush
    Fixes: lintian: homepage-field-uses-insecure-uri
    See-also: https://lintian.debian.org/tags/homepage-field-uses-insecure-uri.html

commit a50c63b84a42aac3ed17c51f610f31d642fa96e3
Author: Debian Janitor <janitor@jelmer.uk>
Date:   Thu Sep 30 02:48:51 2021 +0000

    debian/copyright: use spaces rather than tabs to start continuation lines.
    
    Changes-By: lintian-brush
    Fixes: lintian: tab-in-license-text
    See-also: https://lintian.debian.org/tags/tab-in-license-text.html