Proposal: packages in GHC should have different versions from hackage if the packages differ