Re: [GHC] #9265: Create PackageKey to replace PackageId, including version dependency information (was: Extend PackageId to include version dependency information)