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