{"repository":{"description":"Packaging (Debian, MacPorts, ...) for CVC4","pushed_at":"2013-01-29T11:44:39-08:00","forks":0,"owner":"mdeters","open_issues":0,"language":"Racket","watchers":1,"has_wiki":false,"stargazers":1,"has_issues":false,"fork":false,"size":256,"private":false,"created_at":"2012-12-13T15:30:41-08:00","has_downloads":true},"actor_attributes":{"company":"New York University","location":"New York","email":"fed39eeb2211bd98bbdce21325227889dd5b6d28@morgandeters.com","name":"Morgan Deters","blog":"http://www.cs.nyu.edu/~mdeters/","type":"User"},"url":"https://github.com/mdeters/Packages"}