("8.12" ta6nt ("481d4a866e3d16e288ec7c05dc394d9ed4cf4b36" . "d15130f3f25040d5620239a08a426ff86dbda394") (collects #"brag" #"codegen" #"reader.rkt") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt"))