("5.3" ("fab630bfdc5860a81d69b68b82f2c4c64a3fe9c7" . "268a675f1acda5b458617fd7759fb81188df15f6") (collects #"scribble" #"bnf.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribblings" #"reference" #"reader-example.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
