hol-light
HOL Light theorem prover

NEW: Take a look at the new package tracker: tracker.debian.org/pkg/hol-light

general

source
hol-light (source, math)
version
20170109-2
maint
Debian OCaml Maintainers (a), Hendrik Tews (u)
std-ver
3.9.8
VCS
Git (browse)

binaries

todo

  • Lintian reports 3 warnings about this package. You should make the package lintian clean getting rid of them.
  • The package should be updated to follow the last version of Debian Policy (Standards-Version 4.3.0 instead of 3.9.8).
  • This package has "Suggests: coinor-csdp" while coinor-csdp needs a new maintainer, see O #645079.
  • This package has "Suggests: prover9" while ladr needs a new maintainer, see O #681042.

problems

  • The package has not yet entered testing even though the 5-day delay is over. Check why.
  • Piuparts found an (un)installation error in the Sid version of this package. You should investigate the cause; have a look at the corresponding piuparts log.
  • The package is severely out of date with respect to the Debian Policy. Latest version is 4.3.0 and your package only follows 3.9.8...
  • There were override disparities found in suite unstable:
    • hol-light: Override says math - optional, .deb says math - extra
  • The URL(s) for this package had some recent persistent issues.

testing migration

excuses:
  • Migration status: BLOCKED: Rejected/introduces a regression
  • 686 days old (needed 5 days)
  • 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)

news RSS

bugs

all bug history graph
3
RC
1
I&N
2
M&W
0
F&P
0