("8.15" tarm32nb ("2df4589893a3c40aae5c9614322c05b55504f7b8" . "b2279cfb225d2a9426db4260ec776dd9e3d2856b") (collects #"racket" #"base.rkt") (collects #"racket" #"port.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"text.rkt"))
