Migration excuse for: flocq 4.1.4-2

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

Age

Package is 61 days old (needed 5)

Blocked By

  • coq

Migrates After

  • coq-gappa

Other Reasons

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