Debian Package Tracker

general

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

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

[pool directory]

o-o-stable: 20120602-1
oldstable: 20131026-1
stable: 20170109-1
unstable: 20170109-2

versioned links

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

binaries

hol-light

action needed

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: 2017-11-21 Last update: 2019-02-19 13:24

Failed to analyze the VCS repository. Please troubleshoot and fix the issue. high

vcswatch reports that there is an error with this package's VCS, or the debian/changelog file inside it. Please check the error shown below and try to fix it. You might have to update the VCS URL in the debian/control file to point to the correct repository.

fatal: repository 'https://anonscm.debian.org/git/cgit/pkg-ocaml-maint/packages/hol-light.git/' not found

Created: 2017-12-03 Last update: 2019-02-18 16:00

Standards version of the package is outdated. high

The package is severely out of date with respect to the Debian Policy. The package should be updated to follow the last version of Debian Policy (Standards-Version 4.3.0 instead of 3.9.8).

Created: 2017-08-03 Last update: 2018-12-23 17:15

3 binary packages have unsatisfiable dependencies normal

The dependencies of hol-light=20170109-2 cannot be satisfied on amd64 and arm64 because: unsatisfied dependency on camlp5-daca9
The dependencies of hol-light=20170109-2 cannot be satisfied on mips64el, mipsel, s390x, ppc64el, and mips because: unsatisfied dependency on camlp5-ajc05
The dependencies of hol-light=20170109-2 cannot be satisfied on armhf, i386, and armel because: unsatisfied dependency on camlp5-ee3f8

Created: 2018-09-13 Last update: 2019-02-19 15:08

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

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

Created: 2017-10-23 Last update: 2019-02-19 15:02

Depends on packages which need a new maintainer normal

The packages that hol-light depends on which need a new maintainer are:

ladr (#681042)
- Suggests: prover9
coinor-csdp (#645079)
- Suggests: coinor-csdp

Created: 2017-12-02 Last update: 2019-02-19 13:22

lintian reports 4 warnings normal

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

Created: 2017-08-04 Last update: 2018-09-12 08:17

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: 2018-08-22 Last update: 2018-08-22 04:30

The URL(s) for this package had some recent persistent issues low

DUCK reports some issues concerning upstream URLs defined for this package.

Created: 2019-01-12 Last update: 2019-02-19 13:26

testing migrations

excuses:
- 565 days old (10 needed)
- hol-light/amd64 unsatisfiable Depends: camlp5-daca9
- hol-light/amd64 unsatisfiable Depends: ocaml-nox-4.02.3
- hol-light/arm64 unsatisfiable Depends: camlp5-daca9
- hol-light/arm64 unsatisfiable Depends: ocaml-nox-4.02.3
- hol-light/armel unsatisfiable Depends: camlp5-ee3f8
- hol-light/armel unsatisfiable Depends: ocaml-nox-4.02.3
- hol-light/armhf unsatisfiable Depends: camlp5-ee3f8
- hol-light/armhf unsatisfiable Depends: ocaml-nox-4.02.3
- hol-light/i386 unsatisfiable Depends: camlp5-ee3f8
- hol-light/i386 unsatisfiable Depends: ocaml-nox-4.02.3
- hol-light/mips unsatisfiable Depends: camlp5-ajc05
- hol-light/mips unsatisfiable Depends: ocaml-nox-4.02.3
- hol-light/mips64el unsatisfiable Depends: camlp5-ajc05
- hol-light/mips64el unsatisfiable Depends: ocaml-nox-4.02.3
- hol-light/mipsel unsatisfiable Depends: camlp5-ajc05
- hol-light/mipsel unsatisfiable Depends: ocaml-nox-4.02.3
- hol-light/ppc64el unsatisfiable Depends: camlp5-ajc05
- hol-light/ppc64el unsatisfiable Depends: ocaml-nox-4.02.3
- hol-light/s390x unsatisfiable Depends: camlp5-ajc05
- hol-light/s390x unsatisfiable Depends: ocaml-nox-4.02.3
- Updating hol-light introduces new bugs: #876533
- Cannot be tested by piuparts (not a blocker) - https://piuparts.debian.org/sid/source/h/hol-light.html
- uninstallable on arch amd64, autopkgtest delayed there
- Not touching package due to block request by freeze (please contact debian-release if update is needed)
- Not considered

news

[rss feed]

[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: 3
RC: 1
I&N: 2
M&W: 0
F&P: 0
patch: 0

links

homepage
lintian (0, 4)
buildd: logs, clang, debcheck
popcon
browse source code
edit tags
screenshots

ubuntu

[Information about Ubuntu for Debian Developers]

version: 20170706-0ubuntu4
patches for 20170706-0ubuntu4