("8.14" racket ("37761c7d72dd97dc4cee4c083650523ec8f713fe" "ade7617a7e8916ef0b901d44f7d72aa077e77d47" . "7468949ec712e41be9b9102a47a494f9ab02f100") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"racket" #"undefined.rkt") (collects #"syntax" #"kerncase.rkt"))
