Migration excuse for: coq-gappa 1.5.5-2

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

Age

Package is 12 days old (needed 5)

Blocked By

  • coq

Migrates After

  • flocq

Other Reasons

  • Migration status for coq-gappa (1.5.5-1 to 1.5.5-2): Waiting for another item to be ready to migrate (no action required now - check later)
  • Depends: coq-gappa <a href="#coq">coq</a> (not considered)
  • Invalidated by dependency
  • Depends: coq-gappa <a href="#flocq">flocq</a>