Re: [Hackage] #609: ghc-pkg dump encoding