("8.15" tarm32nb ("99578d966cfa41dd75bc5b23294a7c277f1761b7" . "74da33b16325f5f514446e6740669a62f0f464be") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"html-properties.rkt") (collects #"scribble" #"scheme.rkt") (collects #"scribble" #"struct.rkt") (collects #"syntax" #"boundmap.rkt") (collects #"syntax" #"kerncase.rkt") (collects #"syntax" #"parse.rkt"))
