("8.14" racket ("0312e55b087879f9d0ba9f80b8e49585e8c7c4f6" "2a584c325e2d4edfe7a435dbe5a3ced96a93baba" . "24f323056df4c1dfd20105cbaeeb1c40b2a4dda8") (collects #"racket" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"name.rkt"))
