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