action needed
Debci reports failed tests
high
-
unstable: fail (log)
The tests ran in 0:00:30
Last run: 2026-07-09T06:29:37.000Z
Previous status: unknown
-
testing: pass (log)
The tests ran in 0:01:03
Last run: 2026-02-12T19:03:58.000Z
Previous status: unknown
-
stable: pass (log)
The tests ran in 0:00:38
Last run: 2026-07-16T12:33:13.000Z
Previous status: unknown
source package has 6 unsatisfiable build dependencies
high
43 binary packages have unsatisfiable dependencies
high
The package has not entered testing even though the delay is over
normal
The package has not entered testing even though the 5-day delay is over.
Check why.
testing migrations
-
excuses:
- Migrates after: coq, coq-hierarchy-builder, rocq-micromega-plugin
- Migration status for ssreflect (- to 2.6.0-2): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- ∙ ∙ libcoq-mathcomp/amd64 has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-algebra/amd64 has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-boot/amd64 has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-field/amd64 has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-finite-group/amd64 has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-group-representation/amd64 has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-order/amd64 has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-solvable/amd64 has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-ssreflect/amd64 has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp/arm64 has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-algebra/arm64 has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-boot/arm64 has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-field/arm64 has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-finite-group/arm64 has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-group-representation/arm64 has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-order/arm64 has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-solvable/arm64 has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-ssreflect/arm64 has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp/ppc64el has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-algebra/ppc64el has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-boot/ppc64el has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-field/ppc64el has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-finite-group/ppc64el has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-group-representation/ppc64el has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-order/ppc64el has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-solvable/ppc64el has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-ssreflect/ppc64el has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp/s390x has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-algebra/s390x has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-boot/s390x has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-field/s390x has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-finite-group/s390x has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-group-representation/s390x has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-order/s390x has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-solvable/s390x has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-ssreflect/s390x has unsatisfiable dependency
- ∙ ∙ Updating ssreflect would introduce bugs in testing: #1143515
- ∙ ∙ Not built on buildd: arch amd64 binaries uploaded by julien.puydt@laposte.net
- ∙ ∙ Not built on buildd: arch all binaries uploaded by julien.puydt@laposte.net, a new source-only upload is needed to allow migration
- ∙ ∙ Missing build on riscv64
- ∙ ∙ Autopkgtest deferred on riscv64: missing arch:riscv64 build
- ∙ ∙ Lintian check waiting for test results on riscv64 - info
- ∙ ∙ Build-Depends(-Arch): ssreflect coq
- ∙ ∙ Build-Depends(-Arch): ssreflect coq-hierarchy-builder (not considered)
- ∙ ∙ Build-Depends(-Arch): ssreflect rocq-micromega-plugin
- Additional info (not blocking):
- ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/s/ssreflect.html
- ∙ ∙ Autopkgtest skipped on amd64: not installable
- ∙ ∙ Autopkgtest skipped on arm64: not installable
- ∙ ∙ Autopkgtest skipped on ppc64el: not installable
- ∙ ∙ Autopkgtest skipped on s390x: not installable
- ∙ ∙ Reproduced on amd64 - info
- ∙ ∙ Reproduced on arm64 - info
- ∙ ∙ Reproduced on armhf - info
- ∙ ∙ Reproduced on i386 - info
- ∙ ∙ 9 days old (needed 5 days)
- Not considered
-
all:
2
-
RC:
1
-
I&N:
0
-
M&W:
1
-
F&P:
0
-
patch:
0
![[bug history graph]](https://qa.debian.org/data/bts/graphs/s/ssreflect.png){kind=link}