Package: haskell-copilot-theorem

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

Architectures: mips64el

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

src:haskell-copilot-theorem (4.5-1) [PTS] [ctrl]
   ↓ libghc-what4-dev (>= 1.3)
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

src:haskell-copilot-theorem (4.5-1) [PTS] [ctrl]
   ↓ libghc-what4-dev (>= 1.3)
libghc-what4-dev (1.5.1-4+b2) [PTS] [ctrl]
   ↓ libghc-bv-sized-dev-1.0.5-61d12
MISSING