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