Testing: Excuse for coqeal
- Migration status for coqeal (- to 2.1.2-2): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- New but not reproduced on amd64 - info: libcoq-coqeal
- New but not reproduced on arm64 - info: libcoq-coqeal
- Build-Depends(-Arch): coqeal mathcomp-multinomials
- Build-Depends(-Arch): coqeal mathcomp-real-closed
- Build-Depends(-Arch): coqeal ssreflect
- Depends: coqeal mathcomp-multinomials
- Depends: coqeal mathcomp-real-closed
- Depends: coqeal ssreflect
- Additional info (not blocking):
- Piuparts tested OK - https://piuparts.debian.org/sid/source/c/coqeal.html
- Autopkgtest for coqeal/2.1.2-2: amd64: Pass, arm64: Pass, ppc64el: Pass, s390x: Pass
- Reproduced on armhf - info
- Reproduced on i386 - info
- Required age reduced by 3 days because of autopkgtest
- 5 days old (needed 2 days)
- Depends: coqeal mathcomp-multinomials
- Depends: coqeal mathcomp-real-closed
- Depends: coqeal ssreflect
Excuses generated on: Tue Aug 18 15:13:06 2026 UTC
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).