+ -- pkgs0 with duplicate packages filtered out. This is
+ -- important: it is possible for a package in the user package
+ -- DB to have the same IPID as a package in the global DB, and
+ -- we want the former to take precedence. This is not the same
+ -- as shadowing (below), since in this case the two packages
+ -- have the same ABI and are interchangeable.
+ pkgs0_unique = eltsFM ipid_map
+