{"repository":{"pushed_at":"2013-01-20T10:25:32-08:00","homepage":"","forks":4,"owner":"hannesm","created_at":"2010-12-25T03:37:20-08:00","has_wiki":false,"description":"eclipse plugin to support side-by-side proofs and code","open_issues":1,"watchers":9,"fork":false,"size":260,"has_issues":true,"stargazers":9,"language":"Scala","private":false,"has_downloads":true},"actor_attributes":{"location":"København","company":"IT University","type":"User","blog":"http://www.itu.dk/~hame","name":"Hannes Mehnert","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/hannesm/Kopitiam/compare/357875d6ff...4b3e73c2fa"}