Bug#916438: RM: agda [armhf] -- ROM; unbuildable

[Ilias Tsitsimpis]

Package: ftp.debian.org
Severity: normal

Dear ftp team,

Agda FTBFS on armhf due to a GHC bug[1].
Please remove Agda and its reverse dependencies from armhf.

[1] https://bugs.debian.org/916434

Thanks,

-- 
Ilias