("5.3" ("58ec4234bd2d63ea22c7c9ac757fe30beba1a1ed" . "7cf44c5149057d08c579a32d2a00a6e3048206fd") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"doclang.rkt") (collects #"racket" #"enter.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
