{"repository":{"description":"\"Software Foundations\" Agda challenge","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":952,"owner":"notogawa","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"created_at":"2013-01-15T07:14:06-08:00","pushed_at":"2013-03-08T09:24:00-08:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Noriyuki OHKAWA","blog":"http://d.hatena.ne.jp/notogawa/","email":"379bab41f97f14614e736e7597413c1622e33144@gmail.com"},"url":"https://github.com/notogawa/sfja-agda/compare/ec0e20d9bf...b68af74f4f"}