let nr_conflicts univ =
let open Cudf in
Cudf.fold_packages (fun acc p ->
let cfl = List.filter (fun x -> not(x =% p))
(List.flatten (List.rev_map (CudfAdd.who_provides univ) p.conflicts)) in
debug "%s: %d conflicts" (Cudf_types_pp.string_of_pkgname p.package)
(List.length cfl);
List.iter (fun c ->
debug "- %s" (Cudf_types_pp.string_of_pkgname c.package)
) cfl;
acc + (List.length cfl)
) 0 univ