("5.3" ("552978bb89ac437f51556b23ca76fc209bae6101" . "bb3cb40ceb88f949ea3ccfc71e5240e7a4fbd51f") (collects #"scribble" #"doclang.rkt") (collects #"racket" #"surrogate.rkt") (collects #"racket" #"class.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
