Re: [GHC] #9265: Create PackageKey to replace PackageId, including version dependency information