[Bug 976980] ghc-warp-3.0.12.1 is available