("5.3" ("d1e20a21f3bedecd6968642fc0ec153555dc12a1" . "e4a3df1f60a077939a140f8630d6866ef41c07aa") (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"))
