("8.15" tarm32nb ("767f75d90bd781a769cbef6989a9a50007a282b7" . "1a5a8c99cfa560cab79669dbeda16c69b51c5076") (collects #"htdp" #"error.rkt") (collects #"lang" #"prim.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"gui" #"lang" #"reader.rkt") (collects #"racket" #"gui.rkt") (collects #"racket" #"runtime-config.rkt"))
