Package: agda

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

Architectures: armhf

Summary: unsatisfied dependency on agda-bin

agda (2.8.0-2) [PTS] [ctrl]
   ↓ agda-bin
MISSING