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