action needed
source package has 6 unsatisfiable build dependencies
high
10 binary packages have unsatisfiable dependencies
high
Debci reports failed tests
high
-
unstable: fail (log)
The tests ran in 0:00:21
Last run: 2026-07-10T18:18:18.000Z
Previous status: unknown
-
testing: pass (log)
The tests ran in 0:01:03
Last run: 2026-02-13T15:19:18.000Z
Previous status: unknown
-
stable: pass (log)
The tests ran in 0:00:51
Last run: 2026-07-17T18:44:20.000Z
Previous status: unknown
A new upstream version is available: 1.17.0
high
A new upstream version 1.17.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 5-day delay is over.
Check why.
testing migrations
-
excuses:
- Migrates after: coq, coq-elpi, coq-hierarchy-builder, mathcomp-bigenough, mathcomp-finmap, ssreflect
- Migration status for mathcomp-analysis (- to 1.16.0-2): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- ∙ ∙ libcoq-mathcomp-analysis/amd64 has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-classical/amd64 has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-analysis/arm64 has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-classical/arm64 has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-analysis/ppc64el has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-classical/ppc64el has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-analysis/s390x has unsatisfiable dependency
- ∙ ∙ libcoq-mathcomp-classical/s390x has unsatisfiable dependency
- ∙ ∙ mathcomp-analysis unsatisfiable Build-Depends(-Arch) on riscv64: libcoq-mathcomp-finite-group
- ∙ ∙ Missing build on riscv64
- ∙ ∙ Autopkgtest deferred on riscv64: missing arch:riscv64 build
- ∙ ∙ Lintian check waiting for test results on riscv64 - info
- ∙ ∙ Build-Depends(-Arch): mathcomp-analysis coq (not considered)
- ∙ ∙ Build-Depends(-Arch): mathcomp-analysis coq-elpi (not considered)
- ∙ ∙ Build-Depends(-Arch): mathcomp-analysis coq-hierarchy-builder (not considered)
- ∙ ∙ Build-Depends(-Arch): mathcomp-analysis mathcomp-bigenough (not considered)
- ∙ ∙ Build-Depends(-Arch): mathcomp-analysis mathcomp-finmap (not considered)
- ∙ ∙ Build-Depends(-Arch): mathcomp-analysis ssreflect (not considered)
- Additional info (not blocking):
- ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/m/mathcomp-analysis.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
- ∙ ∙ 6 days old (needed 5 days)
- Not considered
![[bug history graph]](https://qa.debian.org/data/bts/graphs/m/mathcomp-analysis.png){kind=link}