("5.0.1.5" ("7d512d7dfcdc9a9fc80b284b58e4c380dc0c1694" . "92738250eb098dc7fb670cc3b70188fef0e85054") (collects #"racket" #"port.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
