{"repository":{"description":"A library of Coq definitions, theorems, and tactics.","homepage":"","watchers":5,"stargazers":5,"forks":1,"fork":false,"size":1409,"owner":"coq-ext-lib","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Coq","created_at":"2012-08-22T07:34:07-07:00","pushed_at":"2013-10-06T08:28:33-07:00","master_branch":"master","organization":"coq-ext-lib"},"actor_attributes":{"type":"User","name":"Gregory Malecha","blog":"http://www.people.fas.harvard.edu/~gmalecha/","email":"20053a48688cff52b9d62b07b361c9ccc1cfc644@gmail.com"},"url":"https://github.com/coq-ext-lib/coq-ext-lib/compare/c45c4d4f22...d3e04b4da2"}