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-record-update (- to 0.3.4-3): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- ∙ ∙ coq-record-update unsatisfiable Build-Depends(-Arch) on armhf: coq
- ∙ ∙ coq-record-update unsatisfiable Build-Depends(-Arch) on armhf: libcoq-core-ocaml-dev
- ∙ ∙ coq-record-update unsatisfiable Build-Depends(-Arch) on i386: coq
- ∙ ∙ coq-record-update unsatisfiable Build-Depends(-Arch) on i386: libcoq-core-ocaml-dev
- ∙ ∙ Build-Depends(-Arch): coq-record-update coq (not considered)
- ∙ ∙ Depends: coq-record-update coq (not considered)
- Additional info:
- ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/c/coq-record-update.html
- ∙ ∙ autopkgtest for coq-record-update/0.3.4-3: 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