Migration excuse for: hol-light 1:3.0.0-2

Is candidate
Maintainer Debian OCaml Maintainers
Source (version: 1:3.0.0-2)
Destination (old version: -)

Age

Package is 6 days old (needed 5)

Blocked By

  • ocaml

Migrates After

  • ocaml-zarith

Other Reasons

  • Migration status for hol-light (- to 1:3.0.0-2): BLOCKED: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)
  • Depends: hol-light <a href="#ocaml">ocaml</a> (not considered)
  • Invalidated by dependency
  • Depends: hol-light <a href="#ocaml-zarith">ocaml-zarith</a>