Testing: Excuse for mathcomp-analysis
- 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
- Lintian check waiting for test results on riscv64 - info
- 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
- 14 days old (needed 5 days)
- Depends: mathcomp-analysis coq-elpi
- Depends: mathcomp-analysis coq-hierarchy-builder
- Depends: mathcomp-analysis mathcomp-bigenough
- Depends: mathcomp-analysis mathcomp-finmap
- Depends: mathcomp-analysis ssreflect
Excuses generated on: Tue Aug 11 23:17:33 2026 UTC
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).