petersen pushed to ghc-Stream (master). "refresh to cabal-rpm-0.13"