("5.3.1" ("add42030cfc77e53975015ec5cd5a7ad5416b92b" . "8d14886a421388cf02e7afc59a6aa2cb0adede9c") (collects #"racket" #"base.rkt") (collects #"net" #"base64.rkt") (collects #"racket" #"tcp.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
