Package: agda-stdlib

Scenario: unstable_main
Date: 2024-04-19 05:00:07

Architectures: armel, armhf

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

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