("5.3.1" ("5d634f7c03312d446f77ebf996474e8db0dc768d" . "18c5de1983fc9bc86ea87a59513cf6190feb47bc") (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"))
