("8.15" tarm32nb ("5cc760d0fd7bfd382c0d5b2939ef6050983058df" . "59a1d1f806666f79911645ff70ed5462209493cc") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed" #"racket" #"base.rkt") (collects #"typed" #"scheme.rkt") (collects #"typed-racket" #"scribblings" #"utils.rkt"))
