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