("5.3.1" ("aabed8296bc69dab157f29e031f2bb0e94806d06" . "cf2b57d300c61849d8eea29b68d04eba3a8ecdf0") (collects #"racket" #"unit.rkt") (collects #"racket" #"base.rkt") (collects #"net" #"uri-codec-sig.rkt") (collects #"net" #"uri-codec.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
