("8.15" tarm32nb ("5580f6a22eb007cee68bfc046ba8a04f921fe8d4" . "dfd833c0ab9417927f783999b1d0c711410883f4") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed" #"racket.rkt") (collects #"typed-racket" #"scribblings" #"guide" #"quick.scrbl") (collects #"typed-racket" #"scribblings" #"utils.rkt"))
