Excuse for coq-float
- Migration status for coq-float (- to 1:8.10.0-1): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- libfloat-coq/amd64 has unsatisfiable dependency
- libfloat-coq/arm64 has unsatisfiable dependency
- Updating coq-float would introduce bugs in testing: #970453
- Additional info:
- Cannot be tested by piuparts (not a blocker) - https://piuparts.debian.org/sid/source/c/coq-float.html
- uninstallable on arch amd64, not running autopkgtest there
- uninstallable on arch arm64, not running autopkgtest there
- 795 days old (needed 5 days)
Excuses generated Fri May 20 01:09:10 2022
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, documentation.