("5.3.1" ("61cbddfb8e51b9aac37e31607040a3da6f55f250" . "2ba93068ead425c047add636cf2f01a25350d140") (collects #"racket" #"udp.rkt") (collects #"racket" #"system.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt"))
