("8.15" tarm32nb ("25aa0ca491781f748d85a51541ad9c5bfa78d96d" . "21a46c187bcc4946c54163218f42103e95fab688") (collects #"mred" #"mred.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"slideshow" #"main.rkt"))
