("5.3.6" ("ab7dc01c689ffdeff9e96b9a452275018753d84e" . "6aefb71abc5d328eac6dece4e4fc4d525e7e7d2c") (collects #"scribble" #"manual-struct.rkt") (collects #"scribblings" #"scribble" #"utils.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"racket" #"base.rkt") (collects #"syntax" #"parse" #"private" #"runtime-report.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
