Package: ftp.debian.org Severity: normal Hiya,
We're trying to get ghc6 and all rdeps moving into testing again. agda
failing to build on hppa (presumably exhausting buildd resources) is
holding this back.
Please remove, from hppa/unstable,
libghc6-agda-dev
libghc6-agda-prof
agda-bin
Cheers,
Iain
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
