("8.15" tarm32nb ("a0b46a16110048f28b4989c9d184d01beac48761" . "bfa9a80b3d27991854988cc8257c439d989cb22b") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"manual-struct.rkt") (collects #"scribble" #"private" #"manual-style.rkt") (collects #"scribble" #"private" #"manual-utils.rkt") (collects #"scribble" #"struct.rkt"))
