Migration excuse for: aac-tactics 8.20.0-1

Is candidate
Maintainer Debian OCaml Maintainers
Source (version: 8.20.0-1)
Destination (old version: 8.19.1-1)

Age

Package is 23 days old (needed 5)

Blocked By

  • ocaml

Migrates After

  • coq
  • ocaml-zarith

Other Reasons

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