{"push_id":864685940,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"976982e49205a691a976591d9c5293d1e27047cf","before":"99787bb3c6de471c23ebffa9d5df42536865f6ca","commits":[{"sha":"d1e4b2a68c00be802a5f13c2a60f51ea3c4cd397","author":{"email":"fc8f3835feb0563f05b984aef6d5c8a44dfccae7@cs.rwth-aachen.de","name":"sschupp"},"message":"fixed bug in hashing of FLOAT_T<mpfr_t>.","distinct":true,"url":"https://api.github.com/repos/smtrat/carl/commits/d1e4b2a68c00be802a5f13c2a60f51ea3c4cd397"},{"sha":"976982e49205a691a976591d9c5293d1e27047cf","author":{"email":"fc8f3835feb0563f05b984aef6d5c8a44dfccae7@cs.rwth-aachen.de","name":"sschupp"},"message":"Merge branch 'master' of https://srv-i2.informatik.rwth-aachen.de/scm/git/carl","distinct":true,"url":"https://api.github.com/repos/smtrat/carl/commits/976982e49205a691a976591d9c5293d1e27047cf"}]}