("8.15" tarm32nb ("98d20ea35068980dda02a4cf3a38309ba2ed0b96" . "8ce915582dca08beb0252d68dee0d42140f9ac9b") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"example.rkt") (collects #"scribble" #"manual" #"lang" #"reader.rkt") (collects #"scribble" #"manual" #"lang.rkt") (collects #"typed" #"racket.rkt"))
