("8.15" tarm32nb ("ebe9ee4ee3a1f5e2c7af595b911124662401624c" . "8600ba4c4d04e781944f458182f7309d5581bb85") (collects #"mred" #"private" #"syntax.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"class.rkt") (collects #"racket" #"runtime-config.rkt"))
