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
- migrating libcoq-elpi/3.2.0-3/amd64 to unstable makes Build-Depends of src:coq-corn uninstallable
- migrating libcoq-elpi/3.2.0-3/amd64 to unstable makes Build-Depends of src:coq-hierarchy-builder uninstallable
- migrating libcoq-elpi/3.2.0-3/amd64 to unstable makes Build-Depends of src:mathcomp-analysis uninstallable
- migrating libcoq-elpi/3.2.0-3/amd64 to unstable makes Build-Depends of src:mathcomp-multinomials uninstallable
- 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: Fri Jan 30 10:26:05 2026 UTC
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).