Testing: Excuse for coq-elpi
- Migration status for coq-elpi (- to 3.5.0-3): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- New but not reproduced on amd64 - info: libcoq-elpi
- New but not reproduced on arm64 - info: libcoq-elpi
- Additional info (not blocking):
- Piuparts tested OK - https://piuparts.debian.org/sid/source/c/coq-elpi.html
- Reproduced on armhf - info
- Reproduced on i386 - info
- 7 days old (needed 5 days)
Excuses generated on: Tue Aug 18 17:13: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).