("8.15" tarm32nb ("ce313fd26003f6d828db62f594b57b322a7d5726" . "08c8c37b9da39e2c8a06ab8df944f89ab9fbe667") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"private" #"manual-bind.rkt") (collects #"scribble" #"private" #"manual-ex.rkt") (collects #"scribble" #"private" #"manual-proc.rkt") (collects #"scribble" #"private" #"manual-vars.rkt") (collects #"scribble" #"struct.rkt"))
