[Bug 1190393] ghc-Stream-0.4.7.2 is available