("5.3.6" ("2e5ab3b9d0b8b5045a09a791013cec204434186f" . "232d27fd0a3df131663da7e03b1471bb1a67e873") (collects #"scribble" #"manual" #"lang.rkt") (collects #"plot" #"scribblings" #"common.rkt") (collects #"syntax" #"parse" #"private" #"runtime-report.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt"))
