("5.3.1" ("71115cbc49d00d58f162ad6fc6b44a8a04232398" . "8ffa3fbd4c0eb39b84c5fee6fa03f930324aae49") (collects #"scribblings" #"guide" #"guide-utils.rkt") (collects #"scribble" #"eval.rkt") (collects #"scribble" #"doclang.rkt") (collects #"racket" #"list.rkt") (collects #"scribble" #"manual.rkt") (collects #"racket" #"class.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
