("5.3.1" ("d1e20a21f3bedecd6968642fc0ec153555dc12a1" . "52e08e999a57bec3f65945da5208cd6fb2ea11aa") (collects #"scribblings" #"reference" #"reader.scrbl") (collects #"scribblings" #"reference" #"syntax-model.scrbl") (collects #"scribblings" #"reference" #"eval-model.scrbl") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"printer.scrbl") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
