hol-light - Debian Package Tracker

general

source: hol-light (main)
version: 20190729-4
maintainer: Debian OCaml Maintainers (archive) (DMD)
uploaders: Hendrik Tews [DMD]
arch: any
std-ver: 4.4.1
VCS: Git (Browse, QA)

versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]

[pool directory]

o-o-stable: 20170109-1
stable: 20190729-4
unstable: 20190729-4

versioned links

20170109-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
20190729-4: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

hol-light (1 bugs: 0, 1, 0, 0)

action needed

4 binary packages have unsatisfiable dependencies high

The dependencies of hol-light=20190729-4+b4 cannot be satisfied in unstable on armhf and i386 because: unsatisfied dependency on camlp5-qbub4
The dependencies of hol-light=20190729-4+b4 cannot be satisfied in unstable on mips64el, mipsel, and armel because: unsatisfied dependency on camlp5-dkct1
The dependencies of hol-light=20190729-4+b4 cannot be satisfied in unstable on amd64, ppc64el, and arm64 because: unsatisfied dependency on camlp5-y7l77
The dependencies of hol-light=20190729-4+b4 cannot be satisfied in unstable on s390x because: unsatisfied dependency on camlp5-tbgj7

Created: 2022-01-20 Last update: 2022-12-02 07:30

Problems while searching for a new upstream version high

uscan had problems while searching for a new upstream version:

uscan returned an empty output

Created: 2020-06-29 Last update: 2022-12-02 05:37

version in VCS is newer than in repository, is it time to upload? normal

vcswatch reports that this package seems to have a new changelog entry (version 20190729-5, distribution UNRELEASED) and new commits in its VCS. You should consider whether it's time to make an upload.

Here are the relevant commit messages:

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

Created: 2022-01-02 Last update: 2022-12-02 07:00

The package has not entered testing even though the delay is over normal

The package has not entered testing even though the 5-day delay is over. Check why.

Created: 2022-01-25 Last update: 2022-12-02 06:37

piuparts found (un)installation error(s) normal

Piuparts stresses package installation, uninstallation, upgrade, ... While doing such tests, one or more errors were found for the following suites:

sid - piuparts

You should fix them.

Created: 2022-09-07 Last update: 2022-09-07 16:04

lintian reports 9 warnings normal

Lintian reports 9 warnings about this package. You should make the package lintian clean getting rid of them.

Created: 2020-07-29 Last update: 2021-01-27 03:02

Standards version of the package is outdated. wishlist

The package should be updated to follow the last version of Debian Policy (Standards-Version 4.6.1 instead of 4.4.1).

Created: 2020-01-21 Last update: 2022-05-11 23:25

testing migrations

excuses:
- Migration status for hol-light (- to 20190729-4): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- ∙ ∙ hol-light/amd64 has unsatisfiable dependency
- ∙ ∙ hol-light/arm64 has unsatisfiable dependency
- ∙ ∙ hol-light/armel has unsatisfiable dependency
- ∙ ∙ hol-light/armhf has unsatisfiable dependency
- ∙ ∙ hol-light/i386 has unsatisfiable dependency
- ∙ ∙ hol-light/mips64el has unsatisfiable dependency
- ∙ ∙ hol-light/mipsel has unsatisfiable dependency
- ∙ ∙ hol-light/ppc64el has unsatisfiable dependency
- ∙ ∙ hol-light/s390x has unsatisfiable dependency
- ∙ ∙ Updating hol-light would introduce bugs in testing: #1002983
- Additional info:
- ∙ ∙ Cannot be tested by piuparts (not a blocker) - https://piuparts.debian.org/sid/source/h/hol-light.html
- ∙ ∙ uninstallable on arch amd64, not running autopkgtest there
- ∙ ∙ uninstallable on arch arm64, not running autopkgtest there
- ∙ ∙ uninstallable on arch armel, not running autopkgtest there
- ∙ ∙ uninstallable on arch armhf, not running autopkgtest there
- ∙ ∙ uninstallable on arch i386, not running autopkgtest there
- ∙ ∙ uninstallable on arch ppc64el, not running autopkgtest there
- ∙ ∙ uninstallable on arch s390x, not running autopkgtest there
- ∙ ∙ 1024 days old (needed 5 days)
- Not considered

news

[rss feed]

[2022-01-26] hol-light REMOVED from testing (Debian testing watch)
[2020-02-17] hol-light 20190729-4 MIGRATED to testing (Debian testing watch)
[2020-02-12] Accepted hol-light 20190729-4 (source) into unstable (Stéphane Glondu)
[2020-01-03] hol-light 20190729-3 MIGRATED to testing (Debian testing watch)
[2019-12-29] Accepted hol-light 20190729-3 (source) into unstable (Stéphane Glondu)
[2019-11-15] hol-light REMOVED from testing (Debian testing watch)
[2019-08-04] hol-light 20190729-2 MIGRATED to testing (Debian testing watch)
[2019-07-29] Accepted hol-light 20190729-2 (source) into unstable (Gianfranco Costamagna)
[2019-07-29] Accepted hol-light 20190729-1 (source) into unstable (Gianfranco Costamagna)
[2019-07-29] Accepted hol-light 20190729-0.1 (source) into unstable (Gianfranco Costamagna)
[2017-10-24] hol-light REMOVED from testing (Debian testing watch)
[2017-08-08] hol-light 20170109-2 MIGRATED to testing (Debian testing watch)
[2017-08-03] Accepted hol-light 20170109-2 (source) into unstable (Hendrik Tews) (signed by: Dimitri John Ledkov)
[2017-01-26] hol-light 20170109-1 MIGRATED to testing (Debian testing watch)
[2017-01-15] Accepted hol-light 20170109-1 (source) into unstable (Hendrik Tews) (signed by: Ralf Treinen)
[2013-12-02] hol-light 20131026-1 MIGRATED to testing (Debian testing watch)
[2013-11-21] Accepted hol-light 20131026-1 (source amd64) (Hendrik Tews) (signed by: Stéphane Glondu)
[2013-09-29] hol-light 20130811-1 MIGRATED to testing (Debian testing watch)
[2013-09-18] Accepted hol-light 20130811-1 (source amd64) (Hendrik Tews) (signed by: Stéphane Glondu)
[2013-06-07] hol-light 20130511-1 MIGRATED to testing (Debian testing watch)
[2013-05-27] Accepted hol-light 20130511-1 (source amd64) (Hendrik Tews) (signed by: Stéphane Glondu)
[2012-06-22] hol-light 20120602-1 MIGRATED to testing (Debian testing watch)
[2012-06-12] Accepted hol-light 20120602-1 (source amd64) (Hendrik Tews) (signed by: Stéphane Glondu)
[2012-06-04] Accepted hol-light 20120530-1 (source amd64) (Hendrik Tews) (signed by: Stéphane Glondu)
[2012-05-30] hol-light 20120423-1 MIGRATED to testing (Debian testing watch)
[2012-05-19] Accepted hol-light 20120423-1 (source amd64) (Hendrik Tews) (signed by: Stéphane Glondu)

bugs [bug history graph]

all: 2
RC: 1
I&N: 1
M&W: 0
F&P: 0
patch: 0

links

homepage
lintian (0, 9)
buildd: logs, debcheck, cross
popcon
browse source code
edit tags
other distros
screenshots