[Bug 1077543] ghc-tagged-0.7.2 is available