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+b1/amd64 to unstable makes Build-Depends of src:coq-corn uninstallable
- migrating libcoq-elpi/3.2.0-3+b1/amd64 to unstable makes Build-Depends of src:coq-hierarchy-builder uninstallable
- migrating libcoq-elpi/3.2.0-3+b1/amd64 to unstable makes Build-Depends of src:mathcomp-analysis uninstallable
- migrating libcoq-elpi/3.2.0-3+b1/amd64 to unstable makes Build-Depends of src:mathcomp-multinomials uninstallable
- Autopkgtest for coq-corn: ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for mathcomp-analysis: ppc64el: Test triggered, s390x: Test triggered
- Autopkgtest for mathcomp-multinomials/2.3.0-1: arm64: Pass, ppc64el: Test triggered, s390x: Test triggered
- Build-Depends(-Arch): coq-elpi coq (not considered)
- Build-Depends(-Arch): coq-elpi elpi
- Depends: coq-elpi coq (not considered)
- Depends: coq-elpi elpi
- Depends: coq-elpi rocq-stdlib (not considered)
- 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
- Depends: coq-elpi rocq-stdlib
Excuses generated on: Wed Mar 11 18:26:07 2026 UTC
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).