("5.0.1.5" ("e1912f40519eca8ff8226e8a1344ad476728fe60" . "95cabdd936bdf5486e2f61a1ce56d5fc56b77139") (collects #"scheme" #"main.rkt") (collects #"profile" #"main.rkt") (collects #"profile" #"sampler.rkt") (collects #"profile" #"analyzer.rkt") (collects #"profile" #"render-text.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
