("6.12" ("c655de6585ba2a65d711ac67b8f63f38d0a6c5d1" . "e345a479b8a1c894a6636b066f8c626976f0a3a8") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"struct.rkt") (collects #"scribblings" #"slideshow" #"ss.rkt"))
