("8.15" tarm32nb ("6d61650f26adc301b3ba39cf70f567922fd6b417" . "6b7ba2f2825f2a58316a9f81669dac990f63c1b7") (collects #"html" #"main.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"main.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" #"eval.rkt") (collects #"scribble" #"manual.rkt") (collects #"xml" #"main.rkt"))
