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