Re: [GHC] #10127: There is no ghc-7.8.4 for 32 bit Windows