Package: ftp.debian.org Severity: normal Hi, Seems haskell-src-exts is no longer around on these arches since the last upload/migration of agda. It's not going to be possible to build agda-bin on these arches until that is fixed; please remove it. Cheers, Iain