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