Package: btor2tools
Scenario: unstable_mainDate: 2026-02-07 05:00:01
Architectures: amd64, arm64, armhf, i386, loong64, ppc64el, riscv64, s390x
Summary: unsatisfied dependency on libbtor2tools0
|
btor2tools (1.0.2~git20250507.fb69ee3-2)
[PTS]
[ctrl]
↓ libbtor2tools0 MISSING |