Package: libghc-agda-dev

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

Architectures: armhf

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

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