let pp_pkg_list_tran fmt (l,univ) = pp_pkg_list fmt (List.map snd l,univ)