("5.3.1" ("d9f09fbfb1c39268646a92885f0555a227f7bb75" . "0af061debb53a9f3286a534338e2095f26430a87") (collects #"scheme" #"private" #"provider" #"lang.rkt") (collects #"racket" #"udp.rkt") (collects #"scheme" #"private" #"provider" #"lang" #"reader.rkt"))
