petersen pushed to ghc-feed (master). "refresh to cabal-rpm-0.12.1"