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 _______________________________________________ Pkg-haskell-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-haskell-maintainers
