("8.15" tarm32nb ("f3f16c2196c5c3ae100c72c2e974966f1f983d02" . "4e2eb54880dd0f64941a8cd292aa7084e3c254e3") (collects #"scheme" #"base.rkt") (collects #"scheme" #"runtime-config.rkt") (collects #"scribblings" #"reference" #"match-parse.rkt"))
