{"repository":{"created_at":"2011-06-29T02:15:16-07:00","description":"Clone of gapt (Generic Architecture for Proofs)","stargazers":2,"owner":"newca12","has_wiki":true,"pushed_at":"2012-10-17T23:45:05-07:00","forks":0,"open_issues":0,"fork":false,"size":4932,"language":"Scala","has_downloads":true,"homepage":"http://code.google.com/p/gapt/","private":false,"watchers":2,"has_issues":true},"actor_attributes":{"location":"France","type":"User","name":"Olivier ROLAND","blog":"www.edla.org","email":"9376c7a44d0f123d4ed730d486d463b4c11d3356@edla.org"},"url":"https://github.com/newca12/gapt/compare/520ba3ca35...b092ab9bdb"}