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