Package: ftp.debian.org Severity: normal User: [email protected] Usertags: remove X-Debbugs-Cc: [email protected] Control: affects -1 + src:agda
Please remove agda from arm64 and i386. It FTBFS on these architectures, with the current version of GHC. Thanks, -- Ilias
