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