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