Package: haskell-copilot-libraries

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

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

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

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

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

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

src:haskell-copilot-libraries (4.5-1) [PTS] [ctrl]
↓ libghc-copilot-language-dev (>= 4.5)
libghc-copilot-language-dev (4.5-1) [PTS] [ctrl]
↓ libghc-copilot-theorem-dev-4.5-fac1d
MISSING

Architectures: mips64el

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

src:haskell-copilot-libraries (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-language-dev (>= 4.5)
libghc-copilot-language-dev (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-theorem-dev-4.5-9bb25 | libghc-copilot-theorem-dev-4.5-9bb25
libghc-copilot-theorem-dev (4.5-1) [PTS] [ctrl]
   ↓ libghc-bv-sized-dev-1.0.5-76fbf
MISSING

Architectures: ppc64el

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

src:haskell-copilot-libraries (4.5-1) [PTS] [ctrl]
↓ libghc-copilot-language-dev (>= 4.5)
libghc-copilot-language-dev (4.5-1) [PTS] [ctrl]
↓ libghc-copilot-theorem-dev-4.5-b6803
MISSING

Architectures: riscv64

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

src:haskell-copilot-libraries (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-language-dev (>= 4.5)
libghc-copilot-language-dev (4.5-1) [PTS] [ctrl]
   ↓ libghc-copilot-theorem-dev-4.5-7d2ae | libghc-copilot-theorem-dev-4.5-7d2ae
libghc-copilot-theorem-dev (4.5-1) [PTS] [ctrl]
   ↓ libghc-bv-sized-dev-1.0.5-61d12
MISSING

Architectures: s390x

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

src:haskell-copilot-libraries (4.5-1) [PTS] [ctrl]
↓ libghc-copilot-language-dev (>= 4.5)
libghc-copilot-language-dev (4.5-1) [PTS] [ctrl]
↓ libghc-copilot-theorem-dev-4.5-82277
MISSING