Testing: Excuse for btor2tools
- Migration status for btor2tools (- to 1.0.2~git20250507.fb69ee3-1): BLOCKED: Rejected/violates migration policy/introduces a regression
- Issues preventing migration:
- btor2tools/amd64 has unsatisfiable dependency
- btor2tools/arm64 has unsatisfiable dependency
- btor2tools/armhf has unsatisfiable dependency
- btor2tools/i386 has unsatisfiable dependency
- btor2tools/ppc64el has unsatisfiable dependency
- btor2tools/riscv64 has unsatisfiable dependency
- btor2tools/s390x has unsatisfiable dependency
- Lintian check waiting for test results on riscv64 - info
- Too young, only 0 of 5 days old
- Additional info (not blocking):
- Piuparts can't test btor2tools (not a blocker) - https://piuparts.debian.org/sid/source/b/btor2tools.html
- Autopkgtest skipped on amd64: not installable
- Autopkgtest skipped on arm64: not installable
- Autopkgtest skipped on i386: not installable
- Autopkgtest skipped on ppc64el: not installable
- Autopkgtest skipped on riscv64: not installable
- Autopkgtest skipped on s390x: not installable
- Reproducible on amd64
- Reproducible on arm64
- Reproducible on armhf
- Reproducible on i386
- Reproducible on ppc64el
Excuses generated on: Fri Jan 30 10:13:50 2026 UTC
Maintainer page Package tracker
Testing migration hints, key packages, autoremovals (YAML), excuses (YAML), log, cruft, documentation.
Experimental manual migration pseudo-excuses (YAML).