("5.3" ("fab630bfdc5860a81d69b68b82f2c4c64a3fe9c7" . "efd49ef023f1e98916cc18ecce0c1be09463426a") (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"))
