{"ref":"remove-va_list-dependency","ref_type":"branch","master_branch":"master","description":"Low-level rust bindings to the Z3 SMT solver","pusher_type":"user"}
{"actor":{"display_login":"utkarshkukreti"}}