("5.3.1" ("8f2b4544c86c9a89a7f9277d0b2bf6fa511bb15f" . "4ffd3eecdf8118bdd884624c5468a505ffd6bd3b") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"reference" #"mz.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
