Package: ftp.debian.org Severity: normal Tags: ftbfs X-Debbugs-Cc: [email protected] Control: affects -1 + src:agda User: [email protected] Usertags: remove
The agda package FTBFS on armhf, most probably due to a GHC bug. Please remove agda from armhf to allow it to migrate to testing. Thanks, Ilias _______________________________________________ Pkg-haskell-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/pkg-haskell-maintainers
