("8.15" tarm32nb ("a1b2c6fd76cdb860608fb515ecb4ad279a35933c" . "96306760d68e2c659940fa93ab3f23515a174d3a") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"base" #"lang" #"reader.rkt") (collects #"scribble" #"base" #"lang.rkt") (collects #"scribblings" #"style" #"shared.rkt"))
