{"ref":"refs/heads/master","push_id":54636741,"commits":[{"sha":"d4170ea7e7381bee79b425f9966661c0f22d2b87","author":{"email":"bb7bae37dc36b0b86ed1831b8850104e61936af7@gmail.com","name":"Levent Erkok"},"url":"https://api.github.com/repos/LeventErkok/sbv/commits/d4170ea7e7381bee79b425f9966661c0f22d2b87","message":"download locs for Yices and Z3"}],"head":"d4170ea7e7381bee79b425f9966661c0f22d2b87","size":1}