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
- Additional info:
- Cannot be tested by piuparts (not a blocker) - 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
- 559 days old (needed 5 days)
Excuses generated Tue Sep 28 03:09:21 2021
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, documentation.