("8.15" tarm32nb ("6fde2188e3b3fc506986264f73d725d1e7b50416" . "54bd4d03b246587b4096ef94a3f196f536cc439f") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"scribble" #"lp" #"lang" #"common.rkt"))
