Migration excuse for: coq-serapi 8.19.0+0.19.3-4

Is candidate
Maintainer Debian OCaml Maintainers
Source (version: 8.19.0+0.19.3-4)
Destination (old version: 8.19.0+0.19.3-3)

Age

Package is 31 days old (needed 5)

Blocked By

  • coq

Other Reasons

  • Migration status for coq-serapi (8.19.0+0.19.3-3 to 8.19.0+0.19.3-4): BLOCKED: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)
  • Depends: coq-serapi <a href="#coq">coq</a> (not considered)
  • Invalidated by dependency