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-----
