("5.3" ("895ddfaa0681cb7b4dfd45ef4d9a8d2477036ccc" . "7762efc55c1ac064a4e3aa6bb898a9a735727a85") (collects #"racket" #"serialize.rkt") (collects #"scribble" #"doclang.rkt") (collects #"racket" #"fasl.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
