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