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