[Bug 835418] ghc-warp-1.3.7.3 is available