("5.3" ("cdcb851cadb82a8f5ba6dc98649976501e006cf6" . "4f1b79680d05983196a1c3af8f64d4b733d326d9") (collects #"scribble" #"eval.rkt") (collects #"scribble" #"struct.rkt") (collects #"db" #"main.rkt") (collects #"scribble" #"doclang.rkt") (collects #"racket" #"sandbox.rkt") (collects #"setup" #"dirs.rkt") (collects #"scribble" #"manual.rkt") (collects #"db" #"scribblings" #"config.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
