let
resolve_vpkg_int univ vpkg =
List
.map (
Cudf
.uid_by_package univ) (who_provides univ vpkg)