("8.15" tarm32nb ("1a6b12dfd10153a02c958b69be00976c5011763f" . "0fa056de36d096d722cbaec61fadb89925ac2696") (collects #"racket" #"runtime-config.rkt") (collects #"s-exp" #"lang" #"reader.rkt") (collects #"scribble" #"base" #"reader.rkt") (collects #"scribble" #"reader.rkt") (collects #"syntax" #"module-reader.rkt"))
