{"repository":{"description":"\"Software Foundations\" Agda challenge","stargazers":0,"owner":"notogawa","has_issues":true,"pushed_at":"2013-01-18T10:19:49-08:00","forks":0,"has_downloads":true,"fork":false,"size":196,"open_issues":0,"has_wiki":true,"created_at":"2013-01-15T07:14:06-08:00","watchers":0,"private":false},"actor_attributes":{"email":"379bab41f97f14614e736e7597413c1622e33144@gmail.com","name":"Noriyuki OHKAWA","blog":"http://d.hatena.ne.jp/notogawa/","type":"User"},"url":"https://github.com/notogawa/sfja-agda/compare/6674a738e1...1dbcf1ef35"}