[Bug 1077543] New: ghc-tagged-0.7.1 is available