("5.3.1" ("9ef72a7300fbdc469a0be034ae19823570110f26" . "70ba57672f7db29717444c25b401d1b4a2ca16e8") (collects #"scribblings" #"guide" #"dollar.rkt") (collects #"syntax" #"module-reader.rkt") (collects #"s-exp" #"lang" #"reader.rkt"))
