("5.3" ("64839efa6983429fd3e6214d931d0020417b0959" . "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"))
