PureOS
Home
Migrations
pureos: dawn
coq-gappa 1.7.0-1
Migration excuse for: coq-gappa 1.7.0-1
Is candidate
Maintainer
Debian OCaml Maintainers
Source
(version: 1.7.0-1)
Destination
(old version: 1.5.5-1)
Age
Package is 35 days old (needed 0)
Blocked By
coq
Migrates After
flocq
Other Reasons
Migration status for coq-gappa (1.5.5-1 to 1.7.0-1): BLOCKED: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)
Depends: coq-gappa <a href="#coq">coq</a> (not considered)
Invalidated by dependency
Depends: coq-gappa <a href="#flocq">flocq</a>
35 days old