("8.15" tarm32nb ("32b8ecc7d001e387f42a8d53ac0ae18263a85026" . "58aba365fe62fe0d6c85792eb6cfbc4cd48b0b00") (collects #"games" #"scribblings" #"common.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"base" #"lang" #"configure-runtime.rkt") (collects #"scribble" #"doc" #"lang" #"reader.rkt") (collects #"scribble" #"doclang.rkt"))
