{"repository":{"description":"Coq Code","watchers":1,"stargazers":1,"forks":0,"fork":false,"size":412,"owner":"suharahiromichi","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Coq","created_at":"2012-06-15T02:59:32-07:00","pushed_at":"2013-04-21T03:19:06-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"SUHARA Hiromichi","location":"Inuyama City, Aichi Pref. Japan","email":"5b4e67d46d4007cf4cab0ff7c4d6d9e9f9b42b28@gmail.com"},"url":"https://github.com/suharahiromichi/coq/compare/eb1782d206...c4cbbe4cab"}