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