Software
Packages
Packages in pureos
landing
coq-hammer
Migration Excuses
Migration excuse for: coq-hammer 1.3.2+8.19-2
Is candidate
Maintainer
Debian OCaml Maintainers
Source
(version: 1.3.2+8.19-2)
Destination
(old version: 1.3.2+8.19-1)
Age
Package is 12 days old (needed 5)
Blocked By
coq
Other Reasons
Migration status for coq-hammer (1.3.2+8.19-1 to 1.3.2+8.19-2): Waiting for another item to be ready to migrate (no action required now - check later)
Depends: coq-hammer <a href="#coq">coq</a> (not considered)
Invalidated by dependency