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