let resolve_vpkgs_int univ vpkgs = normalize_set (List.flatten (List.map (resolve_vpkg_int univ) vpkgs))