Package: libghc-copilot-prof

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

Architectures: amd64

Summary: unsatisfied dependency on libghc-copilot-theorem-dev-4.5-b9bde

libghc-copilot-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-dev (= 4.5-1)
libghc-copilot-dev (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-theorem-dev-4.5-b9bde
MISSING

Architectures: arm64

Summary: unsatisfied dependency on libghc-copilot-theorem-dev-4.5-3f79f

libghc-copilot-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-dev (= 4.5-1)
libghc-copilot-dev (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-theorem-dev-4.5-3f79f
MISSING

Architectures: armel

Summary: unsatisfied dependency on libghc-copilot-theorem-dev-4.5-c409e

libghc-copilot-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-dev (= 4.5-1)
libghc-copilot-dev (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-theorem-dev-4.5-c409e
MISSING

Architectures: armhf

Summary: unsatisfied dependency on libghc-copilot-theorem-dev-4.5-0bf91

libghc-copilot-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-dev (= 4.5-1)
libghc-copilot-dev (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-theorem-dev-4.5-0bf91
MISSING

Architectures: i386

Summary: unsatisfied dependency on libghc-copilot-theorem-dev-4.5-fac1d

libghc-copilot-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-dev (= 4.5-1)
libghc-copilot-dev (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-theorem-dev-4.5-fac1d
MISSING

Architectures: mips64el

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

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

Architectures: ppc64el

Summary: unsatisfied dependency on libghc-copilot-theorem-dev-4.5-b6803

libghc-copilot-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-dev (= 4.5-1)
libghc-copilot-dev (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-theorem-dev-4.5-b6803
MISSING

Architectures: riscv64

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

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

Architectures: s390x

Summary: unsatisfied dependency on libghc-copilot-theorem-dev-4.5-82277

libghc-copilot-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-dev (= 4.5-1)
libghc-copilot-dev (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-theorem-dev-4.5-82277
MISSING