("8.14" racket ("80cee5f08e1f03a060dd7a2f23fe847ad80b8dcb" "ef6758b1afd73597e6b835105ce9c03040e44f1f" . "f66fda666659642441f8c92855bb49165e8645ba") (collects #"racket" #"base.rkt") (collects #"racket" #"contract" #"base.rkt") (collects #"racket" #"runtime-config.rkt") (collects #"syntax" #"private" #"modcode-noctc.rkt"))
