let pp_summary_row pp fmt = function
|(Conflict (i,j,_),pl) ->
Format.fprintf fmt "@[<v 1>conflict:@,";
Format.fprintf fmt "@[<v 1>pkg1:@,%a@]@," (pp_package pp) i;
Format.fprintf fmt "@[<v 1>pkg2:@,%a@]@," (pp_package pp) j;
Format.fprintf fmt "@[<v 1>packages:@," ;
pp_list (pp_package ~source:true pp) fmt pl;
Format.fprintf fmt "@]@]"
|(Missing (i,vpkgs) ,pl) ->
Format.fprintf fmt "@[<v 1>missing:@,";
Format.fprintf fmt "@[<v 1>unsat-dependency: %a@]@," (pp_vpkglist pp) vpkgs;
Format.fprintf fmt "@[<v 1>packages:@," ;
pp_list (pp_package ~source:true pp) fmt pl;
Format.fprintf fmt "@]@]"
|_ -> ()