("8.15" tarm32nb ("0066a596e73af7f3602a16096fb57877c96cc69f" . "e9db644fdf0c3039a9fd5b083dce43096ec57887") (collects #"racket" #"base.rkt") (collects #"racket" #"include.rkt") (collects #"racket" #"port.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"basic.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"manual.rkt"))
