Package: agda

Scenario: unstable_main
Date: 2024-10-19 05:00:01

Architectures: armhf

Summary: unsatisfied dependency on libghc-aeson-dev-2.1.2.1-b6c36

agda (2.6.4.3-1) [PTS] [ctrl]
   ↓ libghc-agda-dev
libghc-agda-dev (2.6.4.3-1) [PTS] [ctrl]
   ↓ libghc-aeson-dev-2.1.2.1-b6c36
MISSING