Package: progvis-examples

Scenario: unstable_main
Date: 2025-10-07 05:00:01

Architectures: armel, armhf, i386, mips64el, ppc64el, riscv64, s390x

Summary: unsatisfied dependency on storm-lang (>= 0.7.0-3)

progvis-examples (0.7.0-3) [PTS] [ctrl]
   ↓ progvis (>= 0.7.0-3)
progvis (0.7.0-3) [PTS] [ctrl]
   ↓ storm-lang (>= 0.7.0-3)
MISSING