("8.15" tarm32nb ("632581b0709b013bb82d2e2ff2ac0a7a3e6dc7c3" . "91e1e489490acb74db876589ab6ab95c61db520d") (collects #"racket" #"class.rkt") (collects #"racket" #"gui.rkt") (collects #"racket" #"main.rkt") (collects #"racket" #"runtime-config.rkt"))
