[Bug 1208718] ghc-tagged-0.8.0.1 is available