{"ref":"u/caruso/padic_extension_conversion","ref_type":"branch","master_branch":"master","description":"mirror of sage's trac (a.t.m. manually updated, few times a week)","pusher_type":"user"}
{"actor":{"display_login":"dimpase"}}