("8.15" tarm32nb ("fa26d8f2e7329bdd6c8e37c25dffcf22dbc4f317" . "39f9f349cfcdb800ae27786a76cf5627a1fbaa75") (collects #"lazy" #"lang" #"reader.rkt") (collects #"lazy" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"tests" #"eli-tester.rkt"))
