{"repository":{"homepage":"http://lamp.epfl.ch/~amin/dot/","has_issues":false,"has_wiki":true,"forks":0,"fork":true,"open_issues":0,"pushed_at":"2012/05/09 16:16:50 -0700","size":256,"private":false,"language":"Coq","owner":"namin","created_at":"2012/01/24 16:37:26 -0800","description":"formalization of the DOT calculus","watchers":1,"has_downloads":true},"actor_attributes":{"name":"Nada Amin","company":"","blog":"http://namin.net","type":"User","email":"65ebdba617161c39b24b5a797c738a0ac09d8c97@alum.mit.edu"},"url":"https://github.com/namin/dot/compare/1f4b724673...f8eb8fdb45"}