{"push_id":982386136,"size":5,"distinct_size":1,"ref":"refs/heads/devel","head":"f2fe2cc31880e8baa2fd2c9f665910000dccf1cf","before":"b77cd576cfa2c308386a9a3a17fbeb9c3f29288b","commits":[{"sha":"07671b9e4848c8d11d0507c7ad11908e7a6a54e3","author":{"email":"33d51ad27db2fd3609357663358825f8e5ea9855@cs.nyu.edu","name":"Kshitij Bansal"},"message":"Update cvc4-nightly.spec","distinct":false,"url":"https://api.github.com/repos/CVC4/Packages/commits/07671b9e4848c8d11d0507c7ad11908e7a6a54e3"},{"sha":"0160a94334016650819b80955b60e6d5588b786b","author":{"email":"33d51ad27db2fd3609357663358825f8e5ea9855@cs.nyu.edu","name":"Kshitij Bansal"},"message":"debian, rpm: remove directories no longer installed","distinct":false,"url":"https://api.github.com/repos/CVC4/Packages/commits/0160a94334016650819b80955b60e6d5588b786b"},{"sha":"ac146f09b38f835fa9b05d65d6c5914f63e2fd14","author":{"email":"33d51ad27db2fd3609357663358825f8e5ea9855@cs.nyu.edu","name":"Kshitij Bansal"},"message":"debian: fixes for java verseion","distinct":false,"url":"https://api.github.com/repos/CVC4/Packages/commits/ac146f09b38f835fa9b05d65d6c5914f63e2fd14"},{"sha":"055eabdbd89ee379b945122f8fdd444b704465e7","author":{"email":"33d51ad27db2fd3609357663358825f8e5ea9855@cs.nyu.edu","name":"Kshitij Bansal"},"message":"add directories","distinct":false,"url":"https://api.github.com/repos/CVC4/Packages/commits/055eabdbd89ee379b945122f8fdd444b704465e7"},{"sha":"f2fe2cc31880e8baa2fd2c9f665910000dccf1cf","author":{"email":"33d51ad27db2fd3609357663358825f8e5ea9855@cs.nyu.edu","name":"Kshitij Bansal"},"message":"Merge branch 'master' into devel","distinct":true,"url":"https://api.github.com/repos/CVC4/Packages/commits/f2fe2cc31880e8baa2fd2c9f665910000dccf1cf"}]}