("5.3.1" ("d1e20a21f3bedecd6968642fc0ec153555dc12a1" . "84d2457b28de83afe700fdf71d07ea05f125a592") (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"))
