("8.15" tarm32nb ("853ae12a9b5157dfa421bb47f80774e1edb86f36" . "805470e5e9fdb2d59e0a53b62bad13bc8882bdf2") (collects #"racket" #"base.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt") (collects #"scribble" #"manual.rkt") (collects #"teachpack" #"htdp" #"gui.rkt") (collects #"teachpack" #"htdp" #"scribblings" #"shared.rkt"))
