("8.12" ta6nt ("f9f5ad2815a66657d6849ba23285ad690fe0b0de" . "2875966276e3d15bc881b0e70bc39c1e11e6688c") (collects #"basic-demo-3" #"expander.rkt") (collects #"basic-demo-3" #"main.rkt") (collects #"basic-demo-3" #"setup.rkt") (collects #"br" #"main.rkt") (collects #"racket" #"runtime-config.rkt"))