Package: agda-stdlib

Scenario: testing_main
Date: 2024-12-21 05:00:01

Architectures: armhf

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

agda-stdlib (2.1-4) [PTS] [ctrl]
   ↓ libghc-agda-dev (>= 2.6.4.3)
MISSING