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