("8.15" tarm32nb ("b02a37c1eaef8811063b842b2a0f5df079cc3cc3" . "ecb7746c678655272e7b15641302230d074566e9") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"reader.rkt"))
