("5.0.1.5" ("02fba60cdb943df0a81e41f4ebd0cd917523cc55" . "a333185dd52c4bc71ea936eb509b77af9e762ba9") (collects #"scheme" #"base.rkt") (collects #"mzscheme" #"main.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt"))
