{"repository":{"owner":"crypto-agda","has_issues":true,"organization":"crypto-agda","watchers":2,"pushed_at":"2012-12-03T09:52:56-08:00","homepage":"","forks":1,"has_downloads":true,"stargazers":2,"fork":false,"size":184,"created_at":"2012-03-28T09:09:44-07:00","description":"Proposed extensions to Agda standard's library","private":false,"open_issues":0,"has_wiki":true},"actor_attributes":{"type":"User","name":"Nicolas Pouillard","blog":"http://nicolaspouillard.fr","location":"Paris, France","email":"b0e1ab679ae83ee9ff3d9122668a213a483a130d@gmail.com"},"url":"https://github.com/crypto-agda/agda-nplib/compare/c828ae94c2...2db2d9bd28"}