{"repository":{"watchers":2,"owner":"newca12","has_issues":true,"has_downloads":true,"created_at":"2011-06-29T02:15:16-07:00","stargazers":2,"homepage":"http://code.google.com/p/gapt/","has_wiki":true,"pushed_at":"2013-01-10T11:39:26-08:00","description":"Clone of gapt (Generic Architecture for Proofs)","forks":0,"fork":false,"size":5384,"open_issues":0,"language":"Scala","private":false},"actor_attributes":{"email":"9376c7a44d0f123d4ed730d486d463b4c11d3356@edla.org","type":"User","name":"Olivier ROLAND","blog":"www.edla.org","location":"France"},"url":"https://github.com/newca12/gapt/compare/5e2ddd9ed8...f2bb06b261"}