("8.15" tarm32nb ("efdaec0d0ca153aa74fb5c537be5d8954e408ca4" . "4972d63ad4fa6a0fa00b32985e5e9ef799aecb58") (collects #"racket" #"base.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"manual.rkt"))
