Excuse for aac-tactics
- Migration status for aac-tactics (- to 8.11.0-1): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- libaac-tactics-coq/amd64 has unsatisfiable dependency
- libaac-tactics-ocaml/amd64 has unsatisfiable dependency
- libaac-tactics-ocaml-dev/amd64 has unsatisfiable dependency
- libaac-tactics-coq/arm64 has unsatisfiable dependency
- libaac-tactics-ocaml/arm64 has unsatisfiable dependency
- libaac-tactics-ocaml-dev/arm64 has unsatisfiable dependency
- libaac-tactics-ocaml/ppc64el has unsatisfiable dependency
- libaac-tactics-ocaml-dev/ppc64el has unsatisfiable dependency
- Updating aac-tactics introduces new bugs: #970454
- Not touching package due to block request by freeze (please contact debian-release if update is needed)
- Additional info:
- Piuparts tested OK - https://piuparts.debian.org/sid/source/a/aac-tactics.html
- uninstallable on arch amd64, not running autopkgtest there
- uninstallable on arch arm64, not running autopkgtest there
- 347 days old (needed 10 days)
Excuses generated Sun Feb 28 00:09:03 2021
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, documentation.