("5.3.1" ("4aad4c134f76ec1de51557d79525cceffdbf45e6" . "818a2ed99a023a81cb836c795df275d7bdda1cfa") (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"))
