{"repository":{"owner":"crypto-agda","homepage":"","has_issues":false,"has_downloads":true,"created_at":"2012-04-03T03:30:48-07:00","organization":"crypto-agda","description":"","pushed_at":"2012-11-29T05:06:42-08:00","forks":0,"watchers":6,"fork":true,"size":244,"has_wiki":true,"stargazers":6,"private":false,"open_issues":0},"actor_attributes":{"type":"User","name":"Nicolas Pouillard","blog":"http://nicolaspouillard.fr","location":"Paris, France","email":"b0e1ab679ae83ee9ff3d9122668a213a483a130d@gmail.com"},"url":"https://github.com/crypto-agda/crypto-agda/compare/8300ba0db1...52889b467a"}