testing migrations
-
excuses:
- Migrates after: coq, coq-bignums/amd64, coq-bignums/arm64, coq-bignums/ppc64el, coquelicot, flocq, ssreflect/amd64, ssreflect/arm64, ssreflect/ppc64el
- Migration status for coq-interval (4.11.0-2 to 4.11.1-1): BLOCKED: Maybe temporary, maybe blocked but Britney is missing information (check below)
- Issues preventing migration:
- ∙ ∙ missing build on riscv64
- ∙ ∙ missing build on s390x
- ∙ ∙ arch:riscv64 not built yet, autopkgtest delayed there
- ∙ ∙ arch:s390x not built yet, autopkgtest delayed there
- ∙ ∙ autopkgtest for coq-interval/4.11.1-1: amd64: Pass, arm64: Pass, ppc64el: Pass
- ∙ ∙ Too young, only 1 of 5 days old
- ∙ ∙ Depends: coq-interval coq (not considered)
- ∙ ∙ Depends: coq-interval coq-bignums/amd64
- ∙ ∙ Depends: coq-interval coq-bignums/arm64
- ∙ ∙ Depends: coq-interval coq-bignums/ppc64el
- ∙ ∙ Depends: coq-interval coquelicot (not considered)
- ∙ ∙ Depends: coq-interval flocq (not considered)
- ∙ ∙ Depends: coq-interval ssreflect/amd64
- ∙ ∙ Depends: coq-interval ssreflect/arm64
- ∙ ∙ Depends: coq-interval ssreflect/ppc64el
- Additional info:
- ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/c/coq-interval.html
- ∙ ∙ Waiting for reproducibility test results on amd64 - info ♻
- ∙ ∙ Waiting for reproducibility test results on arm64 - info ♻
- ∙ ∙ Waiting for reproducibility test results on armhf - info ♻
- Not considered
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-interval.png){kind=link}