("5.3.1" ("d1e2eca230e1534ccc83575ac023db697775243b" . "a5ee275e483a59c95d27cbee99976ebe7764acc8") (collects #"net" #"websocket" #"server.rkt") (collects #"racket" #"base.rkt") (collects #"net" #"websocket" #"client.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
