("5.3" ("71115cbc49d00d58f162ad6fc6b44a8a04232398" . "5789a4d257234dc26e8aea9fbf9f8cd9d48db7b5") (collects #"scribble" #"eval.rkt") (collects #"scribblings" #"guide" #"guide-utils.rkt") (collects #"scribble" #"manual.rkt") (collects #"racket" #"list.rkt") (collects #"scribble" #"doclang.rkt") (collects #"racket" #"class.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
