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----- -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: https://lists.debian.org/20140930131424.32474.89712.reportbug@kirk
