("8.15" tarm32nb ("a0e84eed58d0b7f537e9da2f3e0609eea6cc6621" . "35d204526a6c772b2709aa22d4534f13f40099f0") (collects #"frtime" #"frtime-big.rkt") (collects #"frtime" #"gui" #"fred.rkt") (collects #"frtime" #"lang" #"reader.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"gui" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))
