{"repository":{"description":"Verified vector clocks, with Coq!","watchers":4,"stargazers":4,"forks":0,"fork":false,"size":763,"owner":"cmeiklejohn","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Coq","created_at":"2013-10-06T19:28:09-07:00","pushed_at":"2013-12-15T13:44:48-08:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Christopher Meiklejohn","company":"Basho Technologies, Inc.","blog":"http://christophermeiklejohn.com/","location":"Rhode Island","email":"f9da11136d63e89cde24a98c20fae29ff32c8a9d@gmail.com"},"url":"https://github.com/cmeiklejohn/vvclocks/pull/3"}