Package: progvis-examples

Scenario: testing_main
Date: 2024-06-27 05:00:05

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

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

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

Architectures: riscv64

Summary: unsatisfied dependency on libgcc-s1

libc6 (2.38-13) [PTS] [ctrl]
   ↓ libgcc-s1
MISSING