Raspbian Package Auto-Building

Buildd status for agda (buster-staging)

Debian PTSTrackerChangelogBugspackages.d.obuildd.d.oSource

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

ArchitectureVersionStatusForBuilddStateSectionLogsActions
Buildd exposure stats armhf  2.5.4.1-3Build-Attempted604d 6h 12mmb-lxc-01uncompiledhaskellold | all (20)giveback

Tail of log for agda on armhf:

[156 of 338] Compiling Agda.Compiler.Treeless.Uncase ( src/full/Agda/Compiler/Treeless/Uncase.hs, dist-ghc/build/Agda/Compiler/Treeless/Uncase.o )
[157 of 338] Compiling Agda.Compiler.Treeless.AsPatterns ( src/full/Agda/Compiler/Treeless/AsPatterns.hs, dist-ghc/build/Agda/Compiler/Treeless/AsPatterns.o )
[158 of 338] Compiling Agda.TypeChecking.Serialise.Base ( src/full/Agda/TypeChecking/Serialise/Base.hs, dist-ghc/build/Agda/TypeChecking/Serialise/Base.o )
ghc: panic! (the 'impossible' happened)
  (GHC version 8.4.4 for arm-unknown-linux):
	tyThingCoAxiom
  Identifier ‘fromDescListWithKey’
  Call stack:
      CallStack (from HasCallStack):
        callStackDoc, called at compiler/utils/Outputable.hs:1150:37 in ghc:Outputable
        pprPanic, called at compiler/main/HscTypes.hs:2153:32 in ghc:HscTypes

Please report this as a GHC bug:  http://www.haskell.org/ghc/reportabug

make: *** [/usr/share/cdbs/1/class/hlibrary.mk:147: build-ghc-stamp] Error 1