("5.3.1" ("1c7eaabcbd7afd576c751b5be3c1ca22ac50de97" . "74bbb71c2d3da84e98d666ad640d85d7343a6601") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
