Debian Package Tracker
Register | Log in
Subscribe

hol-light

HOL Light theorem prover

Choose email to subscribe with

general
  • source: hol-light (main)
  • version: 20190729-2
  • maintainer: Debian OCaml Maintainers (archive) (DMD)
  • uploaders: Hendrik Tews [DMD]
  • arch: any
  • std-ver: 4.4.0
  • VCS: Git (Browse, QA)
versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]
[pool directory]
  • o-o-stable: 20131026-1
  • oldstable: 20170109-1
  • unstable: 20190729-2
versioned links
  • 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]
  • 20190729-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
5 binary packages have unsatisfiable dependencies high
  • The dependencies of hol-light=20190729-2+b1 cannot be satisfied in unstable on ppc64el, arm64, and amd64 because: unsatisfied dependency on camlp5-qcft3
  • The dependencies of hol-light=20190729-2+b1 cannot be satisfied in unstable on i386 because: unsatisfied dependency on camlp5-qa6e3
  • The dependencies of hol-light=20190729-2 cannot be satisfied in unstable on armel, mipsel, and mips64el because: unsatisfied dependency on camlp5-tlv43
  • The dependencies of hol-light=20190729-2+b1 cannot be satisfied in unstable on s390x because: unsatisfied dependency on camlp5-d67u5
  • The dependencies of hol-light=20190729-2+b2 cannot be satisfied in unstable on armhf because: unsatisfied dependency on camlp5-y9ol0
Created: 2019-11-05 Last update: 2019-12-06 11: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: 2017-11-21 Last update: 2019-12-06 09:43
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: 2019-11-14 Last update: 2019-12-06 11:07
Depends on packages which need a new maintainer normal
The packages that hol-light depends on which need a new maintainer are:
  • coinor-csdp (#645079)
    • Suggests: coinor-csdp
Created: 2019-11-22 Last update: 2019-12-06 09:07
lintian reports 7 warnings normal
Lintian reports 7 warnings about this package. You should make the package lintian clean getting rid of them.
Created: 2019-08-24 Last update: 2019-08-24 02:15
Standards version of the package is outdated. wishlist
The package should be updated to follow the last version of Debian Policy (Standards-Version 4.4.1 instead of 4.4.0).
Created: 2019-09-29 Last update: 2019-09-29 23:40
testing migrations
  • excuses:
    • Migration status for hol-light (- to 20190729-2): BLOCKED: Rejected/violates migration policy/introduces a regression
    • Issues preventing migration:
    • Updating hol-light introduces new bugs: #944277
    • uninstallable on arch amd64, autopkgtest delayed there
    • uninstallable on arch arm64, autopkgtest delayed there
    • Additional info:
    • hol-light/armel unsatisfiable Depends: camlp5-tlv43
    • hol-light/armel unsatisfiable Depends: ocaml-nox-4.05.0
    • hol-light/mips64el unsatisfiable Depends: camlp5-tlv43
    • hol-light/mips64el unsatisfiable Depends: ocaml-nox-4.05.0
    • hol-light/mipsel unsatisfiable Depends: camlp5-tlv43
    • hol-light/mipsel unsatisfiable Depends: ocaml-nox-4.05.0
    • hol-light/amd64 unsatisfiable Depends: camlp5-qcft3
    • hol-light/amd64 unsatisfiable Depends: ocaml-nox-4.05.0
    • hol-light/arm64 unsatisfiable Depends: camlp5-qcft3
    • hol-light/arm64 unsatisfiable Depends: ocaml-nox-4.05.0
    • hol-light/i386 unsatisfiable Depends: camlp5-qa6e3
    • hol-light/i386 unsatisfiable Depends: ocaml-nox-4.05.0
    • hol-light/ppc64el unsatisfiable Depends: camlp5-qcft3
    • hol-light/ppc64el unsatisfiable Depends: ocaml-nox-4.05.0
    • hol-light/s390x unsatisfiable Depends: camlp5-d67u5
    • hol-light/s390x unsatisfiable Depends: ocaml-nox-4.05.0
    • hol-light/armhf unsatisfiable Depends: camlp5-y9ol0
    • hol-light/armhf unsatisfiable Depends: ocaml-nox-4.05.0
    • Piuparts tested OK - https://piuparts.debian.org/sid/source/h/hol-light.html
    • 129 days old (needed 5 days)
    • Not considered
news
[rss feed]
  • [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, 7)
  • buildd: logs, checks, clang, debcheck, cross
  • popcon
  • browse source code
  • edit tags
  • screenshots
ubuntu Ubuntu logo [Information about Ubuntu for Debian Developers]
  • version: 20190729-2build1

Debian Package Tracker — Copyright 2013-2018 The Distro Tracker Developers
Report problems to the tracker.debian.org pseudo-package in the Debian BTS.
Documentation — Bugs — Git Repository — Contributing