("5.3.1" ("5d634f7c03312d446f77ebf996474e8db0dc768d" . "2a97c30fb7e6b2d38b33e18792602add8003b38f") (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"))
