Experimental: Pseudo-Excuse for coq-elpi
- Migration status for coq-elpi (2.5.0-1.2 to 3.2.0-3): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- libcoq-elpi/amd64 has unsatisfiable dependency
- Build-Depends(-Arch): coq-elpi coq (not considered)
- Build-Depends(-Arch): coq-elpi elpi
- Implicit dependency: coq-elpi coq-corn (not considered)
- Implicit dependency: coq-elpi coq-hierarchy-builder (not considered)
- Implicit dependency: coq-elpi mathcomp-analysis (not considered)
- Implicit dependency: coq-elpi mathcomp-multinomials (not considered)
- Additional info (not blocking):
- Autopkgtest skipped on amd64: not installable
- Depends: coq-elpi coq
- Depends: coq-elpi coq-corn
- Depends: coq-elpi coq-hierarchy-builder
- Depends: coq-elpi elpi
- Depends: coq-elpi mathcomp-analysis
- Depends: coq-elpi mathcomp-multinomials
Excuses generated on: Mon Dec 15 02:25:32 2025 UTC
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).