("8.12" ta6nt ("85aff9f0f813769258883f25a2059a5b8914146b" . "a633a4b3e2c3433b6ff9f5a0cec04423cecd7338") (collects #"basic-demo-3" #"parser.rkt") (collects #"basic-demo-3" #"tokenizer.rkt") (collects #"br" #"quicklang.rkt") (collects #"racket" #"runtime-config.rkt"))