Testing: Excuse for mathcomp-algebra-tactics
- Migration status for mathcomp-algebra-tactics (- to 1.2.4-1): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- libcoq-mathcomp-algebra-tactics/amd64 has unsatisfiable dependency
- libcoq-mathcomp-algebra-tactics/arm64 has unsatisfiable dependency
- libcoq-mathcomp-algebra-tactics/ppc64el has unsatisfiable dependency
- libcoq-mathcomp-algebra-tactics/riscv64 has unsatisfiable dependency
- libcoq-mathcomp-algebra-tactics/s390x has unsatisfiable dependency
- Build-Depends(-Arch): mathcomp-algebra-tactics coq-elpi (not considered)
- Build-Depends(-Arch): mathcomp-algebra-tactics mathcomp-zify (not considered)
- Build-Depends(-Arch): mathcomp-algebra-tactics ssreflect (not considered)
- Additional info (not blocking):
- Piuparts tested OK - https://piuparts.debian.org/sid/source/m/mathcomp-algebra-tactics.html
- Autopkgtest skipped on amd64: not installable
- Autopkgtest skipped on arm64: not installable
- Autopkgtest skipped on ppc64el: not installable
- Autopkgtest skipped on riscv64: not installable
- Autopkgtest skipped on s390x: not installable
- Reproduced on amd64 - info
- Reproduced on arm64 - info
- Reproduced on armhf - info
- Reproduced on i386 - info
- 480 days old (needed 5 days)
- Depends: mathcomp-algebra-tactics coq-elpi
- Depends: mathcomp-algebra-tactics mathcomp-zify
- Depends: mathcomp-algebra-tactics ssreflect
Excuses generated on: Sat Jun 13 02:17:29 2026 UTC
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).