Package: storm-lang-tutorials
Scenario: unstable_mainDate: 2025-12-19 05:00:02
Architectures: armhf, i386, ppc64el, riscv64, s390x
Summary: unsatisfied dependency on storm-lang (>= 0.7.3-1)
|
storm-lang-tutorials (0.7.3-1)
[PTS]
[ctrl]
↓ storm-lang (>= 0.7.3-1) MISSING |
Summary: unsatisfied dependency on libgcc-s1
|
libc6 (2.42-6)
[PTS]
[ctrl]
↓ libgcc-s1 MISSING |