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