Testing: Excuse for coq-elpi
- Migration status for coq-elpi (2.5.0-1.1 to 2.5.0-1.2): Waiting for test results or another package, or too young (no action required now - check later)
- Issues preventing migration:
- Too young, only 2 of 5 days old
- Implicit dependency: coq-elpi coq-corn/amd64
- Implicit dependency: coq-elpi coq-corn/arm64
- Implicit dependency: coq-elpi coq-corn/ppc64el
- Implicit dependency: coq-elpi coq-corn/riscv64
- Implicit dependency: coq-elpi coq-corn/s390x
- Implicit dependency: coq-elpi coq-hierarchy-builder/amd64
- Implicit dependency: coq-elpi coq-hierarchy-builder/arm64
- Implicit dependency: coq-elpi coq-hierarchy-builder/ppc64el
- Implicit dependency: coq-elpi coq-hierarchy-builder/riscv64
- Implicit dependency: coq-elpi coq-hierarchy-builder/s390x
- Implicit dependency: coq-elpi mathcomp-algebra-tactics/amd64
- Implicit dependency: coq-elpi mathcomp-algebra-tactics/arm64
- Implicit dependency: coq-elpi mathcomp-algebra-tactics/ppc64el
- Implicit dependency: coq-elpi mathcomp-algebra-tactics/riscv64
- Implicit dependency: coq-elpi mathcomp-algebra-tactics/s390x
- Implicit dependency: coq-elpi mathcomp-analysis/amd64
- Implicit dependency: coq-elpi mathcomp-analysis/arm64
- Implicit dependency: coq-elpi mathcomp-analysis/ppc64el
- Implicit dependency: coq-elpi mathcomp-analysis/riscv64
- Implicit dependency: coq-elpi mathcomp-analysis/s390x
- Additional info (not blocking):
- Piuparts tested OK - https://piuparts.debian.org/sid/source/c/coq-elpi.html
- Ignoring non-reproducibility on amd64 (not a regression) - info ♻
- Ignoring non-reproducibility on arm64 (not a regression) - info ♻
Excuses generated on: Thu Oct 30 14:04:58 2025 UTC
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).