("5.3.1" ("4aad4c134f76ec1de51557d79525cceffdbf45e6" . "038edea6b18f55b646fd28b83e2cd9cb61be9b1d") (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"))
