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