[Bug 901632] ghc-smallcheck-1.0.2 is available