Testing: Excuse for cvc4
- Migration status for cvc4 (1.8-4 to 1.8-5): BLOCKED: Maybe temporary, maybe blocked but Britney is missing information (check below)
- Issues preventing migration:
- missing build on riscv64
- arch:riscv64 not built yet, autopkgtest delayed there
- autopkgtest for cvc4/1.8-5: amd64: Pass, arm64: Pass, i386: Pass, ppc64el: Pass, s390x: Pass
- Waiting for lintian test results (stalls migration) - info
- Too young, only 1 of 5 days old
- Additional info:
Excuses generated on: Mon Oct 27 19:04:40 2025 UTC
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).
