("8.15" tarm32nb ("de62d083c1f7f1f5be6de30d214c5c24982e7d64" . "49b843cc8c5247401aa95018e6f561c055e88e5f") (collects #"framework" #"main.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scheme" #"gui.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt"))
