{"push_id":552876859,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"7354d3ba9b299779154162d89fbd63ef543b80f0","before":"617d2a9ff675d6920058ea089188e3c67f625c1a","commits":[{"sha":"7354d3ba9b299779154162d89fbd63ef543b80f0","author":{"email":"0e3f06d6183d0fe0e67ef014315b3ff5aa207b1f@nicta.com.au","name":"Andrea Rendl"},"message":"simplified other random distributions (using eval_int and eval_float)","distinct":true,"url":"https://api.github.com/repos/MiniZinc/libminizinc/commits/7354d3ba9b299779154162d89fbd63ef543b80f0"}]}