action needed
The package has not entered testing even though the delay is over
normal
The package has not entered testing even though the 2-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.0 instead of
4.6.2).
testing migrations
-
excuses:
- Migrates after: coq
- Migration status for coq-unimath (- to 20240331-2): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- ∙ ∙ coq-unimath unsatisfiable Build-Depends(-Arch) on armhf: coq (>= 8.17)
- ∙ ∙ coq-unimath unsatisfiable Build-Depends(-Arch) on armhf: libcoq-core-ocaml-dev
- ∙ ∙ coq-unimath unsatisfiable Build-Depends(-Arch) on i386: coq (>= 8.17)
- ∙ ∙ coq-unimath unsatisfiable Build-Depends(-Arch) on i386: libcoq-core-ocaml-dev
- ∙ ∙ Build-Depends(-Arch): coq-unimath coq (not considered)
- ∙ ∙ Depends: coq-unimath coq (not considered)
- Additional info:
- ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/c/coq-unimath.html
- ∙ ∙ autopkgtest for coq-unimath/20240331-2: amd64: Pass, arm64: Pass, armhf: Pass, i386: Pass, ppc64el: Pass, riscv64: Pass, s390x: Pass
- ∙ ∙ Reproducible on amd64 - info ♻
- ∙ ∙ Reproducible on arm64 - info ♻
- ∙ ∙ Waiting for reproducibility test results on armhf - info ♻
- ∙ ∙ Reproducible on i386 - info ♻
- ∙ ∙ Required age reduced by 3 days because of autopkgtest
- ∙ ∙ 28 days old (needed 2 days)
- Not considered