("5.3.6" ("1079a75720982bba80cd279d824c400647b2994d" . "be60aa0a5b309ca8f6a9c89020946c296d388408") (collects #"racket" #"contract.rkt") (collects #"scribble" #"struct.rkt") (collects #"scribble" #"decode.rkt") (collects #"racket" #"main.rkt") (collects #"scribble" #"eval.rkt") (collects #"scribblings" #"icons.rkt") (collects #"scribble" #"manual.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"base" #"lang" #"reader.rkt") (collects #"at-exp" #"lang" #"reader.rkt"))
