("6.5" ("7116e7bd8ddef987b480600b453cfa51bf328658" . "f038c749818ac6325bc2e0964ae1405af41b7080") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribblings" #"main" #"private" #"utils.rkt"))
