("5.3" ("f5ed4d7434e70711850fc12e4dd40f96887adaea" . "7e7e9e2c008a1da5297ff3b640e315902d007965") (collects #"net" #"sendurl.rkt") (collects #"racket" #"base.rkt") (collects #"net" #"uri-codec.rkt") (collects #"setup" #"dirs.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
