{"repository":{"forks":0,"open_issues":0,"has_issues":true,"owner":"russellw","homepage":"","language":"C++","has_downloads":true,"description":"Theorem prover","stargazers":1,"fork":false,"size":2913,"created_at":"2012-05-28T04:12:34-07:00","has_wiki":true,"watchers":1,"private":false,"pushed_at":"2012-09-18T23:42:31-07:00"},"actor_attributes":{"name":"Russell Wallace","email":"185475b79904fc6d438fa99f4f417d2dff560289@gmail.com","type":"User"},"url":"https://github.com/russellw/ayane/compare/14056421af...d466f2d9b7"}