("5.3.1" ("239c5eeaae43d13b0d1223f7f78acd78dc009df2" . "9e01d63073bfd4fc248125d45d65a2c644df0a5c") (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"))
