("8.15" tarm32nb ("860ad81d20f94f2a2a1fc7bd968fbfcfc4f3ef93" . "f938d13e7a481c9c744c12fd6239b3ae7921877d") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribblings" #"inside" #"utils.rkt"))
