Package: agda-stdlib

Scenario: src_unstable_main
Date: 2026-01-08 05:00:01

Architectures: amd64

Summary: unsatisfied dependency on libghc-ansi-terminal-dev-1.0.2-25450

src:agda-stdlib (2.1-4) [PTS] [ctrl]
   ↓ agda-bin (>= 2.6.4.3)
agda-bin (2.6.4.3-1+b2) [PTS] [ctrl]
   ↓ libghc-agda-dev (< 2.6.4.3+~)
libghc-agda-dev (2.6.4.3-1+b2) [PTS] [ctrl]
   ↓ libghc-ansi-terminal-dev-1.0.2-25450
MISSING

Architectures: arm64

Summary: unsatisfied dependency on libghc-ansi-terminal-dev-1.0.2-7693e

src:agda-stdlib (2.1-4) [PTS] [ctrl]
   ↓ agda-bin (>= 2.6.4.3)
agda-bin (2.6.4.3-1+b2) [PTS] [ctrl]
   ↓ libghc-agda-dev (< 2.6.4.3+~)
libghc-agda-dev (2.6.4.3-1+b2) [PTS] [ctrl]
   ↓ libghc-ansi-terminal-dev-1.0.2-7693e
MISSING

Architectures: armhf

Summary: unsatisfied dependency on agda-bin (>= 2.6.4.3)

src:agda-stdlib (2.1-4) [PTS] [ctrl]
   ↓ agda-bin (>= 2.6.4.3)
MISSING

Architectures: i386

Summary: unsatisfied dependency on libghc-ansi-terminal-dev-1.0.2-00d4d

src:agda-stdlib (2.1-4) [PTS] [ctrl]
   ↓ agda-bin (>= 2.6.4.3)
agda-bin (2.6.4.3-1+b2) [PTS] [ctrl]
   ↓ libghc-agda-dev (< 2.6.4.3+~)
libghc-agda-dev (2.6.4.3-1+b2) [PTS] [ctrl]
   ↓ libghc-ansi-terminal-dev-1.0.2-00d4d
MISSING

Architectures: loong64

Summary: unsatisfied dependency on ghc (>= 9.6)

src:agda-stdlib (2.1-4) [PTS] [ctrl]
   ↓ ghc (>= 9.6)
MISSING

Architectures: ppc64el, riscv64, s390x

Summary: unsatisfied dependency on libghc-ansi-terminal-dev-1.0.2-7693e

src:agda-stdlib (2.1-4) [PTS] [ctrl]
   ↓ agda-bin (>= 2.6.4.3)
agda-bin (2.6.4.3-1) [PTS] [ctrl]
   ↓ libghc-agda-dev (< 2.6.4.3+~)
libghc-agda-dev (2.6.4.3-1) [PTS] [ctrl]
   ↓ libghc-ansi-terminal-dev-1.0.2-7693e
MISSING