Bugs
Package(s): Suite: jessie-staging wheezy-staging stretch-staging trixie-staging buster-staging bullseye-staging bookworm-staging Compact mode Co-maintainers
agda build-depends on missing: - ghc-ghci:armhf
