("5.3.1" ("f5ed4d7434e70711850fc12e4dd40f96887adaea" . "87fef038f0d6a97c139ceaae2568339a7598c5dc") (collects #"net" #"sendurl.rkt") (collects #"racket" #"base.rkt") (collects #"net" #"uri-codec.rkt") (collects #"setup" #"dirs.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
