("8.15" tarm32nb ("b23c2199c6cee7aa18f1c37eb4c3630e8971d5d7" . "21977831aa6b3bbbe717308d4c9d2511f013ee8d") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"core.rkt") (collects #"scribble" #"decode.rkt") (collects #"scribble" #"manual.rkt") (collects #"scribble" #"scheme.rkt") (collects #"scribble" #"struct.rkt"))
