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