hol-light - Debian Package Tracker

general

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

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

[pool directory]

oldstable: 20190729-4
stable: 20230128-1
unstable: 20231021-2

versioned links

20190729-4: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
20230128-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
20231021-2: [.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

7 binary packages have unsatisfiable dependencies high

The dependencies of hol-light=20231021-2 cannot be satisfied in unstable on arm64 because: unsatisfied dependency on camlp5-vcik1
The dependencies of hol-light=20231021-2 cannot be satisfied in unstable on i386 because: unsatisfied dependency on camlp5-fm5x2
The dependencies of hol-light=20231021-2 cannot be satisfied in unstable on armhf because: unsatisfied dependency on camlp5-ocyg3
The dependencies of hol-light=20231021-2 cannot be satisfied in unstable on amd64 because: unsatisfied dependency on camlp5-zvv96
The dependencies of hol-light=20231021-2 cannot be satisfied in unstable on armel and mips64el because: unsatisfied dependency on camlp5-pb7z0
The dependencies of hol-light=20231021-2 cannot be satisfied in unstable on s390x because: unsatisfied dependency on camlp5-3ol54
The dependencies of hol-light=20231021-2 cannot be satisfied in unstable on ppc64el because: unsatisfied dependency on camlp5-gqpk7

Created: 2024-08-08 Last update: 2024-11-21 08: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: 2024-11-21 07:30

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: 2024-08-16 Last update: 2024-11-21 08:05

2 new commits since last upload, is it time to release? normal

vcswatch reports that this package seems to have new commits in its VCS but has not yet updated debian/changelog. You should consider updating the Debian changelog and uploading this new version into the archive.

Here are the relevant commit logs:

commit 97f5ab7d9cd25773b8ce56d46f3e2508bf7e2abe
Author: Bo YU <tsu.yubo@gmail.com>
Date:   Tue Oct 15 16:07:39 2024 +0800

    clear some comments on d/watch again
    
    Signed-off-by: Bo YU <tsu.yubo@gmail.com>

commit a95617b41116692fcbf406b1c3e67d0a540f22ac
Author: Bo YU <tsu.yubo@gmail.com>
Date:   Tue Oct 15 15:32:35 2024 +0800

    enable d/watch
    
    Signed-off-by: Bo YU <tsu.yubo@gmail.com>

Created: 2024-10-15 Last update: 2024-11-13 17:00

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: 2024-10-06 Last update: 2024-10-06 03:01

lintian reports 7 warnings normal

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

Created: 2023-10-30 Last update: 2023-10-30 02:33

debian/patches: 4 patches to forward upstream low

Among the 4 debian patches available in version 20231021-2 of the package, we noticed the following issues:

4 patches where the metadata indicates that the patch has not yet been forwarded upstream. You should either forward the patch upstream or update the metadata to document its real status.

Created: 2023-02-26 Last update: 2024-06-30 21:32

Standards version of the package is outdated. wishlist

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

Created: 2024-04-07 Last update: 2024-06-30 17:54

testing migrations

excuses:
- Migration status for hol-light (- to 20231021-2): 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/ppc64el has unsatisfiable dependency
- ∙ ∙ hol-light/riscv64 has unsatisfiable dependency
- ∙ ∙ hol-light/s390x has unsatisfiable dependency
- ∙ ∙ Updating hol-light would introduce bugs in testing: #1073882
- 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 riscv64, not running autopkgtest there
- ∙ ∙ uninstallable on arch s390x, not running autopkgtest there
- ∙ ∙ Reproducible on armhf - info ♻
- ∙ ∙ 144 days old (needed 5 days)
- Not considered

news

[rss feed]

[2024-08-17] hol-light REMOVED from testing (Debian testing watch)
[2024-07-05] hol-light 20231021-2 MIGRATED to testing (Debian testing watch)
[2024-06-30] Accepted hol-light 20231021-2 (source) into unstable (Stéphane Glondu)
[2023-10-28] hol-light 20231021-1 MIGRATED to testing (Debian testing watch)
[2023-10-23] Accepted hol-light 20231021-1 (source) into unstable (Stéphane Glondu)
[2023-09-27] hol-light 20230128-2 MIGRATED to testing (Debian testing watch)
[2023-09-07] Accepted hol-light 20230128-2 (source) into unstable (Stéphane Glondu)
[2023-02-05] hol-light 20230128-1 MIGRATED to testing (Debian testing watch)
[2023-01-31] Accepted hol-light 20230128-1 (source) into unstable (Stéphane Glondu)
[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)

bugs [bug history graph]

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

links

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