("5.0.2" ("a2b8df9304366a5d6d1938c02b70df00aabf1d9e" . "2e6b9e027dfae89360b3d5de8ccfd1bf34b60459") (collects #"racket" #"pretty.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribblings" #"guide" #"guide-utils.rkt") (collects #"scribblings" #"guide" #"scripts.scrbl") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
