Testing: Excuse for coq-quickchick
- Migration status for coq-quickchick (- to 2.2.0-3): Waiting for test results or another package, or too young (no action required now - check later)
- Issues preventing migration:
- Autopkgtest for coq-quickchick/2.2.0-3: amd64: Pass, arm64: Pass, ppc64el: Pass, s390x: Test triggered
- Too young, only 3 of 5 days old
- Build-Depends(-Arch): coq-quickchick ssreflect
- Depends: coq-quickchick ssreflect
- Additional info (not blocking):
- Piuparts tested OK - https://piuparts.debian.org/sid/source/c/coq-quickchick.html
- Reproduced on amd64 - info
- Reproduced on arm64 - info
- Reproduced on armhf - info
- Reproduced on i386 - info
- Depends: coq-quickchick ssreflect
Excuses generated on: Fri Aug 14 21:18:12 2026 UTC
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).