let print univ fmt l = if PSet.is_empty l then Format.fprintf fmt "MISSING" else print_set fmt (Package.print univ) " | " l