Package: storm-lang-tutorials
Scenario: unstable_mainDate: 2024-07-14 05:00:05
Architectures: armel, armhf, i386, mips64el, ppc64el, riscv64, s390x
Summary: unsatisfied dependency on storm-lang (>= 0.6.23-1)
|
storm-lang-tutorials (0.6.23-1)
[PTS]
[ctrl]
↓ storm-lang (>= 0.6.23-1) MISSING |