Experimental: Pseudo-Excuse for mathcomp-zify
- Migration status for mathcomp-zify (1.5.0+2.0+8.16-4 to 1.6.0+2.3+8.18-2): Waiting for test results or another package, or too young (no action required now - check later)
- Issues preventing migration:
- Autopkgtest for mathcomp-zify/1.6.0+2.3+8.18-2: amd64: Reference test triggered, but real test failed already ♻, arm64: Failed (not a regression) ♻ (reference ♻)
- Build-Depends(-Arch): mathcomp-zify coq (not considered)
- Depends: mathcomp-zify coq
Excuses generated on: Sun Jul 19 14:24:52 2026 UTC
Maintainer page Package tracker Testing migration excuses for mathcomp-zify
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).