action needed
source package has 5 unsatisfiable build dependencies
high
4 binary packages have unsatisfiable dependencies
high
A new upstream version is available: 9.0.0
high
A new upstream version 9.0.0 is available, you should consider packaging it.
The package has not entered testing even though the delay is over
normal
The package has not entered testing even though the 5-day delay is over.
Check why.
Standards version of the package is outdated.
wishlist
The package should be updated to follow the last version of Debian Policy
(Standards-Version 4.7.4 instead of
4.7.0).
testing migrations
-
excuses:
- Migrates after: coq-elpi
- Migration status for coq-corn (- to 8.20.0-1): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- ∙ ∙ libcoq-corn/amd64 has unsatisfiable dependency
- ∙ ∙ libcoq-corn/arm64 has unsatisfiable dependency
- ∙ ∙ libcoq-corn/ppc64el has unsatisfiable dependency
- ∙ ∙ libcoq-corn/riscv64 has unsatisfiable dependency
- ∙ ∙ libcoq-corn/s390x has unsatisfiable dependency
- ∙ ∙ Build-Depends(-Arch): coq-corn coq-elpi (not considered)
- Additional info (not blocking):
- ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/c/coq-corn.html
- ∙ ∙ Autopkgtest skipped on amd64: not installable
- ∙ ∙ Autopkgtest skipped on arm64: not installable
- ∙ ∙ Autopkgtest skipped on ppc64el: not installable
- ∙ ∙ Autopkgtest skipped on riscv64: not installable
- ∙ ∙ Autopkgtest skipped on s390x: not installable
- ∙ ∙ Reproduced on amd64 - info
- ∙ ∙ Reproduced on arm64 - info
- ∙ ∙ Reproduced on armhf - info
- ∙ ∙ Reproduced on i386 - info
- ∙ ∙ 449 days old (needed 5 days)
- Not considered
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-corn.png){kind=link}