("5.3" ("bf58089fbf14ec1b8801fa32e3a04d8e3d90b80d" . "8e62da95a360b96e19caac84f9d077b37b7690c4") (collects #"scribblings" #"guide" #"guide-utils.rkt") (collects #"scribble" #"eval.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
