("8.15" tarm32nb ("1b27448264c959641731899ae86079cc2f7fce29" . "80d3bdba1f3de04af9ffa8f8b4cf16ce2be13a66") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"racket.rkt"))
