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