On Thu, Sep 15, 2022 at 06:27:26PM +0200, Volker Wysk wrote: > What makes me wonder is, that some but not all "package-id" entries have a > large hexadecimal string at the end of the line... Those are the boot packages, i.e. the ones that come built in to your GHC distribution.