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