let who_provides univ (pkgname,constr) = let pkgl = Cudf.lookup_packages ~filter:constr univ pkgname in let prol = Cudf.who_provides ~installed:false univ (pkgname,constr) in pkgl @ (List.map fst prol)