("8.15" tarm32nb ("90ee83b9e2a79fb2d486ba04be79f33a667ccfa1" . "512c366c2673a8796767a8147e0c6e875e2bb601") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"runtime-path.rkt") (collects #"tests" #"eli-tester.rkt"))
