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