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 introduces new bugs: #970453
- blocked by freeze: is not in testing
- 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
- 425 days old (needed 20 days)
Excuses generated Sat May 15 02:10:15 2021
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, documentation.