Package: libghc-copilot-libraries-prof

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

Architectures: amd64

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

libghc-copilot-libraries-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-language-prof-4.5-6eda8 | libghc-copilot-language-prof-4.5-6eda8
libghc-copilot-language-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-language-dev (= 4.5-1)
libghc-copilot-language-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-libraries-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-language-prof-4.5-bada0 | libghc-copilot-language-prof-4.5-bada0
libghc-copilot-language-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-language-dev (= 4.5-1)
libghc-copilot-language-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-libraries-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-language-prof-4.5-0f428 | libghc-copilot-language-prof-4.5-0f428
libghc-copilot-language-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-language-dev (= 4.5-1)
libghc-copilot-language-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-libraries-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-language-prof-4.5-b5c97 | libghc-copilot-language-prof-4.5-b5c97
libghc-copilot-language-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-language-dev (= 4.5-1)
libghc-copilot-language-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-libraries-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-language-prof-4.5-b3846 | libghc-copilot-language-prof-4.5-b3846
libghc-copilot-language-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-language-dev (= 4.5-1)
libghc-copilot-language-dev (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-theorem-dev-4.5-fac1d
MISSING

Architectures: mips64el

Summary: unsatisfied dependency on libghc-copilot-theorem-dev-4.5-9bb25

libghc-copilot-libraries-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-language-prof-4.5-bcc1a | libghc-copilot-language-prof-4.5-bcc1a
libghc-copilot-language-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-language-dev (= 4.5-1)
libghc-copilot-language-dev (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-theorem-dev-4.5-9bb25
MISSING

Architectures: ppc64el

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

libghc-copilot-libraries-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-language-prof-4.5-4172f | libghc-copilot-language-prof-4.5-4172f
libghc-copilot-language-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-language-dev (= 4.5-1)
libghc-copilot-language-dev (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-theorem-dev-4.5-b6803
MISSING

Architectures: riscv64

Summary: unsatisfied dependency on libghc-copilot-theorem-dev-4.5-7d2ae

libghc-copilot-libraries-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-language-prof-4.5-4172f | libghc-copilot-language-prof-4.5-4172f
libghc-copilot-language-prof (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-language-dev (= 4.5-1)
libghc-copilot-language-dev (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-theorem-dev-4.5-7d2ae
MISSING

Architectures: s390x

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

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