Package: ftp.debian.org Severity: normal User: ftp.debian....@packages.debian.org Usertags: remove X-Debbugs-Cc: a...@packages.debian.org 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