("5.3.1" ("5d634f7c03312d446f77ebf996474e8db0dc768d" . "02f1033e7b0c722b5a88497ad83e58283f08cec5") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"bnf.rkt") (collects #"scribblings" #"reference" #"reader-example.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
