[Bug 848760] ghc-mwc-random-0.12.0.1 is available