[Bug 1223241] ghc-JuicyPixels-3.2.5.2 is available