Package: libghc-what4-dev

Scenario: unstable_main
Date: 2025-09-11 05:00:01

Architectures: mips64el

Summary: unsatisfied dependency on libghc-bv-sized-dev-1.0.5-76fbf

libghc-what4-dev (1.5.1-4+b3) [PTS] [ctrl]
   ↓ libghc-bv-sized-dev-1.0.5-76fbf
MISSING

Architectures: riscv64

Summary: unsatisfied dependency on libghc-bv-sized-dev-1.0.5-61d12

libghc-what4-dev (1.5.1-4+b2) [PTS] [ctrl]
   ↓ libghc-bv-sized-dev-1.0.5-61d12
MISSING