Migration excuse for: paramcoq 1.1.3+coq8.20-1

Is candidate
Maintainer Debian OCaml Maintainers
Source (version: 1.1.3+coq8.20-1)
Destination (old version: 1.1.3+coq8.19-1)

Age

Package is 23 days old (needed 5)

Blocked By

  • coq

Other Reasons

  • Migration status for paramcoq (1.1.3+coq8.19-1 to 1.1.3+coq8.20-1): BLOCKED: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)
  • Depends: paramcoq <a href="#coq">coq</a> (not considered)
  • Invalidated by dependency