[Bug 1208718] New: ghc-tagged-0.8.0.1 is available