("5.3.1" ("f53a00eed5f2692856a95e631e6481fd0b344809" . "a8d6aeda54d73315b708a52378367c1cbc3b8d48") (collects #"racket" #"serialize.rkt") (collects #"scribble" #"doclang.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"generic.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
