[Bug 976980] ghc-warp-3.1.2 is available