{"repository":{"stargazers":2,"owner":"newca12","has_downloads":true,"created_at":"2011-06-29T02:15:16-07:00","homepage":"http://code.google.com/p/gapt/","open_issues":0,"pushed_at":"2013-01-05T04:40:45-08:00","description":"Clone of gapt (Generic Architecture for Proofs)","forks":0,"has_issues":true,"has_wiki":true,"fork":false,"size":5040,"language":"Scala","watchers":2,"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/c7dc3d8ddd...89c36ee605"}