("8.15" tarm32nb ("823c60fe97c00ab19ffb84f6ca0ae116bac11447" . "ebd1ee512f0ce32d88c9d7d356db7c9c16a67a18") (collects #"lang" #"private" #"teachprims.rkt") (collects #"racket" #"private" #"shared-body.rkt") (collects #"scheme" #"base.rkt") (collects #"scheme" #"runtime-config.rkt"))
