{"repository":{"owner":"braibant","created_at":"2012-04-17T09:27:03-07:00","homepage":"","open_issues":0,"pushed_at":"2012-06-25T08:00:40-07:00","description":"A Coq plugin that allows a user to start and stop timers.","forks":0,"has_downloads":true,"watchers":2,"fork":false,"size":184,"has_issues":true,"stargazers":2,"language":"Coq","private":false,"has_wiki":true},"actor_attributes":{"type":"User","name":"Wojciech Jedynak","blog":"http://www.wjedynak.pl","email":"e1ee14e2837e3bb91e60cdb8f80579794f77c96b","location":"Poland"},"url":"https://github.com/braibant/Timing-plugin"}