{"push_id":725229338,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6b74fb332416d470e0be7bf6e94ebc18fd300c2f","before":"47632dbd49b4515be9973c46b2f02add9c540047","commits":[{"sha":"6b74fb332416d470e0be7bf6e94ebc18fd300c2f","author":{"email":"3313117ab8ad19b6005009962f007193e79d3c52@gmail.com","name":"Regis Blanc"},"message":"real division is with /","distinct":true,"url":"https://api.github.com/repos/regb/scala-smtlib/commits/6b74fb332416d470e0be7bf6e94ebc18fd300c2f"}]}