{"repository":{"has_wiki":false,"created_at":"2010/12/25 03:37:20 -0800","description":"eclipse plugin to support side-by-side proofs and code","open_issues":0,"watchers":4,"pushed_at":"2012/04/10 07:01:20 -0700","fork":false,"homepage":"","size":29144,"private":false,"has_downloads":true,"owner":"hannesm","has_issues":true,"forks":1,"language":"Scala"},"actor_attributes":{"name":"Hannes Mehnert","company":"IT University","location":"København","blog":"http://www.itu.dk/~hame","type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/hannesm/Kopitiam/compare/01cdb37927...b36193269c"}