Your message dated Wed, 29 Jun 2016 00:26:16 -0400
with message-id <1552101.mJej84y8op@kitterma-e6430>
and subject line Re: RM: agda [armel armhf] -- ROM; Too heavy to be built on
arm*
has caused the Debian Bug report #828136,
regarding RM: agda [armel armhf] -- ROM; Too heavy to be built on arm*
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
828136: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=828136
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
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-----
--- End Message ---
--- Begin Message ---
On Sat, 25 Jun 2016 11:39:38 +0100 Joachim Breitner <[email protected]>
wrote:
> 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.
This removal was already done.
Scott K
--- End Message ---
