Debian PTS – Tracker – Changelog – Bugs – packages.d.o – buildd.d.o – Source
| Architecture | Version | Status | For | Buildd | State | Section | Logs | Actions |
|---|---|---|---|---|---|---|---|---|
 armhf ↓ | 2.5.4.1-3 | Build-Attempted | 581d 51m | mb-lxc-01 | uncompiled | haskell | old | 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