("8.12" ta6nt ("caa32e2ad689150edfa85d312d41c67238d2504e" . "bfc0a2f79c1e234b28e92ee8f45fa5d2d8ba4420") (collects #"brag" #"codegen" #"expander.rkt") (collects #"brag" #"main.rkt") (collects #"racket" #"runtime-config.rkt"))