PureOS
Home
Migrations
pureos: dawn
ott 0.33+ds-4
Migration excuse for: ott 0.33+ds-4
Is candidate
Maintainer
Debian OCaml Maintainers
Source
(version: 0.33+ds-4)
Destination
(old version: 0.33+ds-3)
Age
Package is 89 days old (needed 5)
Blocked By
coq
Other Reasons
Migration status for ott (0.33+ds-3 to 0.33+ds-4): BLOCKED: Cannot migrate due to another item, which is blocked (please check which dependencies are stuck)
Depends: ott <a href="#coq">coq</a> (not considered)
Invalidated by dependency