Bug#828136: RM: agda [armel armhf] -- ROM; Too heavy to be built on arm*

[Joachim Breitner <nomeata@debian.org>]

Package: ftp.debian.org
Severity: normal

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi,

in the latest version, agda is not reasonably buildable on weaker
architectures. In order to unblock the testing migration of Haskell
packages, please remove the binaries produced by the agda source
packages on armel and armhf.

Thanks,
Joachim

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iEYEARECAAYFAlduX2QACgkQ9ijrk0dDIGzYSgCgmYcA101qb+PUI3NEvCx8ZnYd
NyEAoKOT+4x8Y4I+I1dHPYKPTxyDf+Zz
=Hgx0
-----END PGP SIGNATURE-----