("5.3" ("71115cbc49d00d58f162ad6fc6b44a8a04232398" . "9701b357cc251eed32ec1c64c1a2d892a9dfb0d7") (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"))
