Joachim Breitner wrote: > did not help :-( > > https://buildd.debian.org/status/fetch.php?pkg=agda&arch=armel&ver=2.5.1-2&stamp=1466427602&file=log > > Lets just remove agda on arm*, shall we? Or do we have any reason to > believe that there are users out there?
That almost certainly is the compiler genuinely running out of memory. Erik -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/