Source: agda-stdlib Version: 0.3-1 Severity: serious Justification: FTBFS Hi,
your package FTBFS on all buildds: | dh_auto_build | make[2]: Entering directory `/build/buildd-agda-stdlib_0.3-1-hppa-YgXNuj/agda-stdlib-0.3' | runhaskell GenerateEverything.hs | make[2]: runhaskell: Command not found Full build logs: https://buildd.debian.org/status/package.php?suite=unstable&p=agda-stdlib Mraw, KiBi. -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
