Package: ftp.debian.org Severity: normal Tags: ftbfs X-Debbugs-Cc: a...@packages.debian.org Control: affects -1 + src:agda User: ftp.debian....@packages.debian.org 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
