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
-
- Branch: master
- Path: debian/changelog
- Browser: https://salsa.debian.org/ocaml-team/hol-light
- Last scan: 2022-08-04 04:34:02+00
- Next scan: 2022-08-13 01:24: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