("5.3.1" ("e7c1b096ff9136c49ae74d2662e1ac50c6c6d045" . "e3c0612a03c2c4fc56dd564e12198ea2d1fae4a2") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"format.scrbl") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
