action needed
A new upstream version is available: 4.2.0
high
A new upstream version 4.2.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 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 flocq (- to 4.1.4-2): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- ∙ ∙ flocq unsatisfiable Build-Depends(-Arch) on armhf: coq
- ∙ ∙ flocq unsatisfiable Build-Depends(-Arch) on armhf: libcoq-core-ocaml-dev
- ∙ ∙ flocq unsatisfiable Build-Depends(-Arch) on i386: coq
- ∙ ∙ flocq unsatisfiable Build-Depends(-Arch) on i386: libcoq-core-ocaml-dev
- ∙ ∙ Build-Depends(-Arch): flocq coq (not considered)
- ∙ ∙ Depends: flocq coq (not considered)
- Additional info:
- ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/f/flocq.html
- ∙ ∙ autopkgtest for flocq/4.1.4-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