("5.3.1" ("0164879b193dd2e74286617ad6c42f50460f11c7" . "431f48bd730e71d416573c106d0b357e777f582f") (collects #"scribble" #"eval.rkt") (collects #"scribble" #"struct.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribblings" #"icons.rkt") (collects #"racket" #"base.rkt") (collects #"scribble" #"manual.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt") (collects #"at-exp" #"lang" #"reader.rkt"))
