Migration excuse for: ocaml-zarith 1.14-1

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

Age

Package is 89 days old (needed 5)

Blocked By

  • ocaml

Migrates After

  • aac-tactics
  • coq

Other Reasons

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