PureOS
Home
Migrations
pureos: dawn
flocq 4.1.4-2
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 31 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>