("8.12" ta6nt ("d869b5ed536d4e35595344f47390a89e6a13ad5f" . "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"))