("5.3.1" ("25b0f40bf933f17b7567b725f56373b06d18a4fa" . "0bc013244bac6b90d1959aa0b716dc038b7c40d6") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"scribble" #"utils.rkt") (collects #"racket" #"base.rkt") (collects #"scribble" #"manual-struct.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
