("8.15" tarm32nb ("c6446c7ff7548cd027cc1588eb70485259d73a81" . "55819d1ef5039fd059c6b73af76ced275511efad") (collects #"racket" #"include.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"port.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"rackunit" #"main.rkt") (collects #"rackunit" #"text-ui.rkt") (collects #"scribble" #"basic.rkt") (collects #"scribble" #"comment-reader.rkt") (collects #"scribble" #"eval.rkt") (collects #"scribble" #"manual.rkt"))
