Raspbian Package Auto-Building

Buildd status for agda (bullseye-staging)

Debian PTSTrackerChangelogBugspackages.d.obuildd.d.o

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

ArchitectureVersionStatusForBuilddStateMiscLogs
Buildd exposure stats armhf  2.6.0.1-1Build-Attempted7d 20hmb-lxc-01uncompiledhaskell:sourceold | all (3)

Tail of log for agda on armhf:

[304 of 357] Compiling Agda.TypeChecking.EtaExpand ( src/full/Agda/TypeChecking/EtaExpand.hs, dist-ghc/build/Agda/TypeChecking/EtaExpand.o )
[305 of 357] Compiling Agda.TypeChecking.Rewriting ( src/full/Agda/TypeChecking/Rewriting.hs, dist-ghc/build/Agda/TypeChecking/Rewriting.o )
[306 of 357] Compiling Agda.TypeChecking.Reduce.Fast ( src/full/Agda/TypeChecking/Reduce/Fast.hs, dist-ghc/build/Agda/TypeChecking/Reduce/Fast.o )
ghc: panic! (the 'impossible' happened)
  (GHC version 8.6.5 for arm-unknown-linux):
	tyThingCoAxiom
  Identifier ‘$fReadCompletionType8’
  Call stack:
      CallStack (from HasCallStack):
        callStackDoc, called at compiler/utils/Outputable.hs:1160:37 in ghc:Outputable
        pprPanic, called at compiler/main/HscTypes.hs:2170: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