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