Package: progvis-examples

Scenario: unstable_main
Date: 2025-12-18 05:00:01

Architectures: armhf, i386, ppc64el, riscv64

Summary: unsatisfied dependency on storm-lang (>= 0.7.3-1)

progvis-examples (0.7.3-1) [PTS] [ctrl]
   ↓ progvis (>= 0.7.3-1)
progvis (0.7.3-1) [PTS] [ctrl]
   ↓ storm-lang (>= 0.7.3-1)
MISSING

Architectures: loong64

Summary: unsatisfied dependency on libgcc-s1

libc6 (2.42-6) [PTS] [ctrl]
   ↓ libgcc-s1
MISSING