("8.15" tarm32nb ("e71152a8937ed18128262cc77fe5d1bbb408b533" . "916c478961e5bb0e7f45a742e9186daf588bbce5") (collects #"drracket" #"tool.rkt") (collects #"lang" #"stepper-language-interface.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"unit.rkt") (collects #"string-constants" #"main.rkt"))
