Package: agda-stdlib

Scenario: unstable_main
Date: 2026-02-23 05:00:01

Architectures: armhf

Summary: unsatisfied dependency on libghc-agda-dev (>= 2.8.0)

agda-stdlib (2.3-1) [PTS] [ctrl]
   ↓ libghc-agda-dev (>= 2.8.0)
MISSING