{"repository":{"description":"","homepage":"","watchers":7,"stargazers":7,"forks":0,"fork":false,"size":4672,"owner":"mzp","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"OCaml","created_at":"2010-10-08T19:50:25-07:00","pushed_at":"2010-10-09T01:39:53-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Dmitry Malikov","company":"Shame Driven Development","blog":"http://malikov.ru","location":"Moscow, Zelenograd","email":"e136b9b721e73b02238648ff3962e6d861546365@gmail.com"},"url":"https://github.com/mzp/coq-ruby"}