("8.15" tarm32nb ("d8ad13e6768fe814d1690fe71ccfb7a457b3fb86" . "4f1129c86be6dc3fea10e12e1722aed7ead05ff1") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"reader" #"lang" #"reader.rkt") (collects #"scribblings" #"guide" #"dollar-racket.rkt"))
