("8.15" tarm32nb ("c5768311fd0e0882b6867eac6a3276a6cbae90f2" . "fce778d862ef86916996f2dccb18aa160d7e4a46") (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 #"scribblings" #"scribble" #"utils.rkt"))
