Raspbian Package Auto-Building

Buildd status for agda (bookworm-staging)

Debian PTSTrackerChangelogBugspackages.d.obuildd.d.o

Package(s): Suite:
Compact mode Co-maintainers

ArchitectureVersionStatusForBuilddStateMiscLogs
Buildd exposure stats armhf  2.6.1-1Build-Attempted29d 2h 7mtest2019uncompiledhaskell:sourceold | all (3)

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 2097152 bytes)
make: *** [/usr/share/cdbs/1/class/hlibrary.mk:147: build-ghc-stamp] Error 251