Excuse for coq-float
- 1348 old (needed 5 days)
- libfloat-coq/amd64 unsatisfiable Depends: coq-8.4pl4+4.02.3
- libfloat-coq/arm64 unsatisfiable Depends: coq-8.4pl4+4.02.3
- libfloat-coq/armel unsatisfiable Depends: coq-8.4pl4+4.02.3
- libfloat-coq/armhf unsatisfiable Depends: coq-8.4pl4+4.02.3
- libfloat-coq/i386 unsatisfiable Depends: coq-8.4pl4+4.02.3
- libfloat-coq/mips unsatisfiable Depends: coq-8.4pl4+4.02.3
- libfloat-coq/mips64el unsatisfiable Depends: coq-8.4pl4+4.02.3
- libfloat-coq/mipsel unsatisfiable Depends: coq-8.4pl4+4.02.3
- libfloat-coq/ppc64el unsatisfiable Depends: coq-8.4pl4+4.02.3
- libfloat-coq/s390x unsatisfiable Depends: coq-8.4pl4+4.02.3
- Updating coq-float introduces new bugs: #813596
- Cannot be tested by piuparts (not a blocker) - https://piuparts.debian.org/sid/source/c/coq-float.html
- uninstallable on arch amd64, autopkgtest delayed there
- Checking build-dependency on amd64
- Not touching package due to block request by freeze (please contact debian-release if update is needed)
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, documentation.