Bug#763462: Package marked as bad although it is “uncompiled”

[Joachim Breitner <nomeata@debian.org>]

Source: ben
Severity: normal

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

Hi,

currently,
https://release.debian.org/transitions/html/haskell.html
lists agda as bad on armel, armhf, hurd and others, although it is in
state "uncompiled" according to wanna-build (and hence there is no
transition problem). It would be nice if ben could be more accurate
here.

Thanks,
Joachim

- -- System Information:
Debian Release: jessie/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (101, 'experimental')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
armhf

Kernel: Linux 3.16-2-amd64 (SMP w/4 CPU cores)
Locale: LANG=de_DE.utf8, LC_CTYPE=de_DE.utf8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

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

iEYEARECAAYFAlQqrLAACgkQ9ijrk0dDIGxlqQCfW95Heoxxmb76DUb+Cpn2/cPG
EpwAoMePZVl8kmMgDA2vgDFyolT5/wQG
=0H1C
-----END PGP SIGNATURE-----