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