{"repository":{"owner":"robbertkrebbers","has_downloads":true,"created_at":"2012-08-29T12:32:19-07:00","homepage":"http://robbertkrebbers.nl/research/ch2o","has_issues":true,"pushed_at":"2013-01-04T17:02:09-08:00","description":"","forks":0,"has_wiki":true,"watchers":1,"fork":false,"size":748,"language":"Coq","stargazers":1,"private":false,"open_issues":0},"actor_attributes":{"name":"Robbert Krebbers","blog":"robbertkrebbers.nl","type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/robbertkrebbers/ch2o/compare/b05bd0ea25...8888bbefe3"}