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