{"repository":{"description":"Clone of gapt (Generic Architecture for Proofs)","homepage":"http://code.google.com/p/gapt/","watchers":1,"stargazers":1,"forks":0,"fork":false,"size":3202,"owner":"newca12","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Scala","created_at":"2011-06-29T02:15:16-07:00","pushed_at":"2013-07-26T10:22:56-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Olivier ROLAND","blog":"www.edla.org","location":"France","email":"9376c7a44d0f123d4ed730d486d463b4c11d3356@edla.org"},"url":"https://github.com/newca12/gapt/compare/31906cb91c...0991792cb2"}