Description of problem: idris fails to build on armv7 with: Building libraries... make: Entering directory '/builddir/build/BUILD/idris-0.9.9.1/lib' ../dist/build/idris/idris --build base.ipkg idris: internal error: evacuate(static): strange closure type 63788 (GHC version 7.8.4 for arm_unknown_linux) Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug Makefile:3: recipe for target 'check' failed make: Leaving directory '/builddir/build/BUILD/idris-0.9.9.1/lib' make: *** [check] Aborted (core dumped) See https://ghc.haskell.org/trac/ghc/ticket/10029
This bug appears to have been reported against 'rawhide' during the Fedora 22 development cycle. Changing version to '22'. More information and reason for this action is here: https://fedoraproject.org/wiki/Fedora_Program_Management/HouseKeeping/Fedora22
Fedora 22 changed to end-of-life (EOL) status on 2016-07-19. Fedora 22 is no longer maintained, which means that it will not receive any further security or bug fix updates. As a result we are closing this bug. If you can reproduce this bug against a currently maintained version of Fedora please feel free to reopen this bug against that version. If you are unable to reopen this bug, please file a new report against the current release. If you experience problems, please add a comment to this bug. Thank you for reporting this bug and we are sorry it could not be fixed.
Still true for F24. Idris is not built yet for F25.
(idris has alas been retired from F25+)