("5.3" ("a7348a5fe87ed50186ffe11ad9075d864ebb96d4" . "1b58d391de27b921392b8820a360d696da283760") (collects #"scribble" #"manual-struct.rkt") (collects #"racket" #"base.rkt") (collects #"scribblings" #"scribble" #"utils.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
