("5.3.1" ("77741ed18cad16f9d3bd96f8b9cfebe677b2a878" . "8b432f04aeee4ec8bc4462b63233cf01fd4e3345") (collects #"scribblings" #"reference" #"init.scrbl") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"bnf.rkt") (collects #"racket" #"gui" #"base.rkt") (collects #"racket" #"pretty.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
