Migration excuse for: coq-iris 4.3.0-1

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

Age

Package is 23 days old (needed 5)

Blocked By

  • coq-stdpp

Other Reasons

  • Migration status for coq-iris (4.2.0-2 to 4.3.0-1): BLOCKED: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)
  • Depends: coq-iris <a href="#coq-stdpp">coq-stdpp</a> (not considered)
  • Invalidated by dependency