Bug#1030993: agda+agda-stdlib need hinting into testing

[Adrian Bunk]

Package: release.debian.org
Severity: normal

binary-all packages are not installable on arm64,
where agda does FTBFS.