Excuse for coq-float
- Migration status for coq-float (- to 1:8.4-5): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- Updating coq-float introduces new bugs: #813596
- Not built on buildd: arch all binaries uploaded by glondu, a new source-only upload is needed to allow migration
- uninstallable on arch amd64, autopkgtest delayed there
- Additional info:
- libfloat-coq/amd64 unsatisfiable Depends: coq-8.4pl4+4.02.3
- libfloat-coq/i386 unsatisfiable Depends: coq-8.4pl4+4.02.3
- Cannot be tested by piuparts (not a blocker) - https://piuparts.debian.org/sid/source/c/coq-float.html
- 1494 days old (needed 5 days)
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, documentation.