("8.15" tarm32nb ("6f8969bb8d163d727b064866c8e415c2bc059492" . "e94df4e5b7dbca7a8544f9f915de1a1becdbf0f1") (collects #"racket" #"base.rkt") (collects #"racket" #"list.rkt") (collects #"racket" #"port.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"text.rkt") (collects #"syntax" #"parse.rkt") (collects #"xml" #"main.rkt"))
