("8.15" tarm32nb ("f85fb127af13037635dfd199649ad88c981e3929" . "563f027ca33a38c250cd4dd6126b6e159561913f") (collects #"data" #"integer-set.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"contract.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"eval.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt"))
