{"repository":{"description":"Starting a Coq NetKAT","watchers":1,"stargazers":1,"forks":0,"fork":false,"size":238,"owner":"frenetic-lang","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Coq","created_at":"2013-07-15T13:23:16-07:00","pushed_at":"2013-07-24T08:14:51-07:00","master_branch":"master","organization":"frenetic-lang"},"actor_attributes":{"type":"User","name":"Carolyn Anderson","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/frenetic-lang/netkat/compare/c37d54f61b...b3edb423e2"}