Experimental: Pseudo-Excuse for coq-gappa
- Migration status for coq-gappa (1.7.0-1 to 1.10.0-1): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- Autopkgtest for coq-gappa/1.10.0-1: amd64: Regression ♻ (reference ♻)
- Missing build on arm64
- Autopkgtest deferred on arm64: missing arch:arm64 build
- Build-Depends(-Arch): coq-gappa coq (not considered)
- Depends: coq-gappa flocq (not considered)
- Depends: coq-gappa rocq-stdlib (not considered)
- Depends: coq-gappa coq
- Depends: coq-gappa flocq
- Depends: coq-gappa rocq-stdlib
Excuses generated on: Sat Jul 11 18:24:52 2026 UTC
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).