("8.15" tarm32nb ("5be752c7ba583ecd8a7fd99344f43388b3e5abfc" . "87ba724f957f8c2659073d358c1dd2adc95681f4") (collects #"framework" #"main.rkt") (collects #"mrlib" #"switchable-button.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"gui.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"extract.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribblings" #"framework" #"main-extracts.rkt"))
