testing migrations
-
excuses:
- Migrates after: coq-elpi, mathcomp-analysis/amd64, mathcomp-analysis/arm64, mathcomp-analysis/ppc64el, mathcomp-analysis/riscv64, ssreflect
- Migration status for coq-hierarchy-builder (1.7.0-2 to 1.8.0-1): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- ∙ ∙ migrating libcoq-hierarchy-builder/1.8.0-1+b1/s390x to testing makes libcoq-mathcomp-analysis/1.7.0-1/s390x uninstallable
- ∙ ∙ migrating libcoq-hierarchy-builder/1.8.0-1+b1/s390x to testing makes libcoq-mathcomp-classical/1.7.0-1/s390x uninstallable
- ∙ ∙ autopkgtest for mathcomp-analysis/1.7.0-1: amd64: Pass, arm64: Pass, ppc64el: Pass, riscv64: Pass, s390x: Regression or new test ♻ (reference ♻)
- ∙ ∙ Too young, only 2 of 5 days old
- ∙ ∙ Depends: coq-hierarchy-builder coq-elpi (not considered)
- ∙ ∙ Implicit dependency: coq-hierarchy-builder mathcomp-analysis/amd64
- ∙ ∙ Implicit dependency: coq-hierarchy-builder mathcomp-analysis/arm64
- ∙ ∙ Implicit dependency: coq-hierarchy-builder mathcomp-analysis/ppc64el
- ∙ ∙ Implicit dependency: coq-hierarchy-builder mathcomp-analysis/riscv64
- ∙ ∙ Implicit dependency: coq-hierarchy-builder ssreflect (not considered)
- Additional info:
- ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/c/coq-hierarchy-builder.html
- ∙ ∙ Reproducibility regression on amd64 - info ♻
- ∙ ∙ Reproducibility regression on arm64 - info ♻
- Not considered
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq-hierarchy-builder.png){kind=link}