("8.15" tarm32nb ("22fc6d662b74d41dd1cbabb341c9394484b4d745" . "4c01dbc3689430f27c756a74628b8c3d94491b02") (collects #"at-exp" #"lang" #"reader.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"provide.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"parse.rkt"))
