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