("5.0.1.5" ("a2b8df9304366a5d6d1938c02b70df00aabf1d9e" . "adc7337d4929962a321d006c4a9a4700665728c4") (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"))
