{"repository":{"description":"Theorem prover","homepage":"","watchers":2,"stargazers":2,"forks":0,"fork":false,"size":4909,"owner":"russellw","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"C++","created_at":"2012-05-28T04:12:34-07:00","pushed_at":"2013-04-15T17:30:48-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Russell Wallace","email":"185475b79904fc6d438fa99f4f417d2dff560289@gmail.com"},"url":"https://github.com/russellw/ayane/compare/b8bc2b2a41...cbcc6df06f"}