[Bug 892586] ghc-happstack-server-7.1.3 is available