("5.3" ("840fa0f185db1a79f301be1d76b3be8357e3ea8b" . "006f2d1b04262894f17d55cca2a7084c7e355a1e") (collects #"scribble" #"doclang.rkt") (collects #"racket" #"promise.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
