Package: libghc-copilot-theorem-prof

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

Architectures: mips64el

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

libghc-copilot-theorem-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-bv-sized-prof-1.0.5-76fbf
MISSING

Architectures: riscv64

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

libghc-copilot-theorem-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-bv-sized-prof-1.0.5-61d12
MISSING