[Bug 976980] ghc-warp-3.1.12 is available