("8.15" tarm32nb ("ef4201fddecf0cccd787ef1adb604bd7df4e8414" . "cb51d4a810f80c5147e609c9373c456ceae513b7") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"module-reader.rkt"))
