Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o – Source
| Architecture | Version | Status | For | Buildd | State | Section | Logs | Actions |
|---|---|---|---|---|---|---|---|---|
 armhf ↓ | 2.6.1-1 | Build-Attempted | 600d 19h 42m | testbuildd | uncompiled | haskell | old | all (5) | giveback |
Tail of log for agda on armhf:
[146 of 369] Compiling Agda.Utils.TypeLits ( src/full/Agda/Utils/TypeLits.hs, dist-ghc/build/Agda/Utils/TypeLits.o ) [147 of 369] Compiling Agda.Utils.Update ( src/full/Agda/Utils/Update.hs, dist-ghc/build/Agda/Utils/Update.o ) [148 of 369] Compiling Agda.Syntax.Concrete.Definitions ( src/full/Agda/Syntax/Concrete/Definitions.hs, dist-ghc/build/Agda/Syntax/Concrete/Definitions.o ) [149 of 369] Compiling Agda.Utils.VarSet ( src/full/Agda/Utils/VarSet.hs, dist-ghc/build/Agda/Utils/VarSet.o ) [150 of 369] Compiling Agda.Utils.Warshall ( src/full/Agda/Utils/Warshall.hs, dist-ghc/build/Agda/Utils/Warshall.o ) [151 of 369] Compiling Agda.Utils.WithDefault ( src/full/Agda/Utils/WithDefault.hs, dist-ghc/build/Agda/Utils/WithDefault.o ) [152 of 369] Compiling Agda.Utils.Zipper ( src/full/Agda/Utils/Zipper.hs, dist-ghc/build/Agda/Utils/Zipper.o ) [153 of 369] Compiling Paths_Agda ( dist-ghc/build/autogen/Paths_Agda.hs, dist-ghc/build/Paths_Agda.o ) [154 of 369] Compiling Agda.Version ( src/full/Agda/Version.hs, dist-ghc/build/Agda/Version.o ) [155 of 369] Compiling Agda.VersionCommit ( src/full/Agda/VersionCommit.hs, dist-ghc/build/Agda/VersionCommit.o ) [156 of 369] Compiling Agda.Interaction.Library ( src/full/Agda/Interaction/Library.hs, dist-ghc/build/Agda/Interaction/Library.o ) [157 of 369] Compiling Agda.Interaction.Options ( src/full/Agda/Interaction/Options.hs, dist-ghc/build/Agda/Interaction/Options.o ) [158 of 369] Compiling Agda.TypeChecking.Monad.Base ( src/full/Agda/TypeChecking/Monad/Base.hs, dist-ghc/build/Agda/TypeChecking/Monad/Base.o ) ghc: out of memory (requested 1048576 bytes) make: *** [/usr/share/cdbs/1/class/hlibrary.mk:147: build-ghc-stamp] Error 251