{"repository":{"forks":1,"has_downloads":true,"language":"Coq","created_at":"2012-05-19T15:15:41-07:00","description":"","owner":"bruno-carvalho","stargazers":1,"has_wiki":true,"watchers":1,"fork":false,"size":18476,"open_issues":0,"has_issues":true,"private":false,"pushed_at":"2012-08-18T15:32:13-07:00"},"actor_attributes":{"name":"Bruno Carvalho","blog":"http://ufsc.br","type":"User","company":"UFSC","location":"Florianópolis/SC - Brazil","email":"b6b7c43111b999807f5726340848d40f4c79a87b@gmail.com"},"url":"https://github.com/bruno-carvalho/spi-asi-converter/compare/6d518f93e7...c818eb98d4"}