Migration excuse for: coq-hott 9.0-1

Is candidate
Maintainer Debian OCaml Maintainers
Source (version: 9.0-1)
Destination (old version: 8.19-1)

Age

Package is 35 days old (needed 0)

Blocked By

  • coq

Migrates After

  • coq-equations

Other Reasons

  • Migration status for coq-hott (8.19-1 to 9.0-1): BLOCKED: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)
  • Depends: coq-hott <a href="#coq">coq</a> (not considered)
  • Invalidated by dependency
  • Implicit dependency: coq-hott <a href="#coq-equations">coq-equations</a>
  • 35 days old