("5.3" ("239c5eeaae43d13b0d1223f7f78acd78dc009df2" . "ffe8716d5850ef5b657b88e7adce314fd6641200") (collects #"scribble" #"xref.rkt") (collects #"help" #"search.rkt") (collects #"net" #"sendurl.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"string.rkt") (collects #"scribble" #"manual-struct.rkt") (collects #"net" #"uri-codec.rkt") (collects #"racket" #"path.rkt") (collects #"setup" #"xref.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
