{"repository":{"open_issues":1,"homepage":"","owner":"hannesm","language":"Scala","pushed_at":"2012-09-06T09:00:37-07:00","forks":3,"has_issues":true,"description":"eclipse plugin to support side-by-side proofs and code","has_downloads":true,"created_at":"2010-12-25T03:37:20-08:00","fork":false,"size":200,"has_wiki":false,"watchers":8,"stargazers":8,"private":false},"actor_attributes":{"location":"København","company":"IT University","name":"Hannes Mehnert","blog":"http://www.itu.dk/~hame","type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/hannesm/Kopitiam/compare/49de45bff1...bd1008308d"}