("8.15" tarm32nb ("a7ad43e81954136f12bea84a7f695247ea51bda0" . "bc5536d4527c54e58851d295db7a7b5c8996d995") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"reader.rkt") (collects #"syntax" #"module-reader.rkt"))
