("8.15" tarm32nb ("1e047d9d643cd1b9b6d10bad2b62d0a8e38d9a0c" . "409ee6fae8e13828b3ae079a8ed529ff842328af") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"basic.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"private" #"manual-sprop.rkt") (collects #"scribble" #"private" #"manual-style.rkt") (collects #"scribble" #"private" #"manual-utils.rkt") (collects #"scribble" #"private" #"on-demand.rkt") (collects #"scribble" #"struct.rkt"))
